Index of /CSI/SoftwEng.FunctLang/papers/2008

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]achp08-FDPE08-SoccerFun.abs2008-09-30 20:59 1.0K 
[TXT]achp08-FDPE08-SoccerFun.bib2008-09-30 20:59 577  
[ ]achp08-FDPE08-SoccerFun.pdf2008-09-15 15:31 317K 
[ ]janj08-CEFP07-InterpretationToCompilation.abs2008-10-01 09:47 962  
[TXT]janj08-CEFP07-InterpretationToCompilation.bib2008-10-01 09:15 561  
[ ]janj08-CEFP07-InterpretationToCompilation.pdf2008-09-30 20:53 174K 
[ ]janj08-IFL08-iEditors.abs2008-10-01 09:47 1.6K 
[TXT]janj08-IFL08-iEditors.bib2008-10-01 09:15 594  
[ ]janj08-IFL08-iEditors.pdf2008-09-15 20:40 192K 
[TXT]janj08-NL-ARMS-Workflows.bib2008-10-01 09:16 492  
[ ]janj08-NL-ARMS-Workflows.pdf2008-09-15 20:41 488K 
[ ]koop08-AMOST2008-TestingValidatingQualitySpecifications.abs2008-10-09 09:34 783  
[TXT]koop08-AMOST2008-TestingValidatingQualitySpecifications.bib2008-10-09 10:03 644  
[ ]koop08-AMOST2008-TestingValidatingQualitySpecifications.pdf2008-03-11 09:27 341K 
[TXT]koop08-PADL2008-ModelBasedTestingOfWebWithNavigation.bib2008-02-29 14:04 667  
[ ]koop08-PADL2008-ModelBasedTestingOfWebWithNavigation.pdf2007-10-23 12:53 501K 
[ ]koop08-SERP08-esmVizTool.pdf2008-09-15 20:49 797K 
[ ]lijb08-BetweenTypesAndTables-IFL2008-DRAFT.abs2008-10-02 10:46 1.4K 
[TXT]lijb08-BetweenTypesAndTables-IFL2008-DRAFT.bib2008-10-02 10:46 617  
[ ]lijb08-BetweenTypesAndTables-IFL2008-DRAFT.pdf2008-10-02 10:31 259K 
[TXT]lijb08-BetweenTypesAndTablesMasterThesis.bib2008-10-02 16:19 358  
[ ]lijb08-BetweenTypesAndTablesMasterThesis.pdf2008-10-02 16:19 1.4M 
[ ]molm07-ProvingPropertiesWithSparkle_CEFP2007.abs2008-10-03 09:23 1.0K 
[TXT]molm07-ProvingPropertiesWithSparkle_CEFP2007.bib2008-10-03 09:23 606  
[ ]molm07-ProvingPropertiesWithSparkle_CEFP2007.pdf2008-10-03 09:23 659K 
[ ]noot08-WGP08-LightweightDatatypeGenericRewriting.abs2008-10-01 11:31 891  
[TXT]noot08-WGP08-LightweightDatatypeGenericRewriting.bib2008-10-01 11:31 604  
[ ]noot08-WGP08-LightweightDatatypeGenericRewriting.pdf2008-09-15 15:27 217K 
[ ]plar08-iTasks_CEFP2007_Revised.abs2008-10-03 09:15 1.4K 
[TXT]plar08-iTasks_CEFP2007_Revised.bib2008-10-03 09:15 567  
[ ]plar08-iTasks_CEFP2007_Revised.pdf2008-10-03 09:15 1.1M 
[TXT]smes08-WGT_GenericDataStorage.bib2008-02-29 14:00 497  
[ ]smes08-WGT_GenericDataStorage.pdf2008-02-29 14:00 205K 
[TXT]vrie08-IFL07-UniquenessTypingSimplified.bib2008-02-29 14:00 576  
[ ]vrie08-IFL07-UniquenessTypingSimplified.pdf2008-02-29 14:00 212K