Index of /CSI/SoftwEng.FunctLang/papers/2008
Name
Last modified
Size
Description
Parent Directory
-
lijb08-BetweenTypesAndTablesMasterThesis.pdf
2008-10-02 16:19
1.4M
plar08-iTasks_CEFP2007_Revised.pdf
2008-10-03 09:15
1.1M
koop08-SERP08-esmVizTool.pdf
2008-09-15 20:49
797K
molm07-ProvingPropertiesWithSparkle_CEFP2007.pdf
2008-10-03 09:23
659K
koop08-PADL2008-ModelBasedTestingOfWebWithNavigation.pdf
2007-10-23 12:53
501K
janj08-NL-ARMS-Workflows.pdf
2008-09-15 20:41
488K
koop08-AMOST2008-TestingValidatingQualitySpecifications.pdf
2008-03-11 09:27
341K
achp08-FDPE08-SoccerFun.pdf
2008-09-15 15:31
317K
lijb08-BetweenTypesAndTables-IFL2008-DRAFT.pdf
2008-10-02 10:31
259K
noot08-WGP08-LightweightDatatypeGenericRewriting.pdf
2008-09-15 15:27
217K
vrie08-IFL07-UniquenessTypingSimplified.pdf
2008-02-29 14:00
212K
smes08-WGT_GenericDataStorage.pdf
2008-02-29 14:00
205K
janj08-IFL08-iEditors.pdf
2008-09-15 20:40
192K
janj08-CEFP07-InterpretationToCompilation.pdf
2008-09-30 20:53
174K
janj08-IFL08-iEditors.abs
2008-10-01 09:47
1.6K
plar08-iTasks_CEFP2007_Revised.abs
2008-10-03 09:15
1.4K
lijb08-BetweenTypesAndTables-IFL2008-DRAFT.abs
2008-10-02 10:46
1.4K
achp08-FDPE08-SoccerFun.abs
2008-09-30 20:59
1.0K
molm07-ProvingPropertiesWithSparkle_CEFP2007.abs
2008-10-03 09:23
1.0K
janj08-CEFP07-InterpretationToCompilation.abs
2008-10-01 09:47
962
noot08-WGP08-LightweightDatatypeGenericRewriting.abs
2008-10-01 11:31
891
koop08-AMOST2008-TestingValidatingQualitySpecifications.abs
2008-10-09 09:34
783
koop08-PADL2008-ModelBasedTestingOfWebWithNavigation.bib
2008-02-29 14:04
667
koop08-AMOST2008-TestingValidatingQualitySpecifications.bib
2008-10-09 10:03
644
lijb08-BetweenTypesAndTables-IFL2008-DRAFT.bib
2008-10-02 10:46
617
molm07-ProvingPropertiesWithSparkle_CEFP2007.bib
2008-10-03 09:23
606
noot08-WGP08-LightweightDatatypeGenericRewriting.bib
2008-10-01 11:31
604
janj08-IFL08-iEditors.bib
2008-10-01 09:15
594
achp08-FDPE08-SoccerFun.bib
2008-09-30 20:59
577
vrie08-IFL07-UniquenessTypingSimplified.bib
2008-02-29 14:00
576
plar08-iTasks_CEFP2007_Revised.bib
2008-10-03 09:15
567
janj08-CEFP07-InterpretationToCompilation.bib
2008-10-01 09:15
561
smes08-WGT_GenericDataStorage.bib
2008-02-29 14:00
497
janj08-NL-ARMS-Workflows.bib
2008-10-01 09:16
492
lijb08-BetweenTypesAndTablesMasterThesis.bib
2008-10-02 16:19
358