[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]softeng.misc.dsc2008-04-17 00:00 99  
[TXT]softeng.dsc2008-04-17 00:00 157  
[TXT]obscure.dsc2008-04-17 00:00 160  
[TXT]programming.env.dsc2008-04-17 00:00 169  
[TXT]SOFTWARE.PE.dsc2008-04-17 00:00 195  
[TXT]IEEETRSENG.dsc2008-04-17 00:00 201  
[TXT]cbsd.dsc2008-04-17 00:00 204  
[TXT]SETP.dsc2008-04-17 00:00 246  
[TXT]program.development.dsc2008-04-17 00:00 273  
[TXT]cadbib.dsc2008-04-17 00:00 303  
[TXT]ISE.dsc2008-04-17 00:00 305  
[TXT]ESEC.dsc2008-04-17 00:00 329  
[TXT]reuse.dsc2008-04-17 00:00 362  
[TXT]raise.dsc2008-04-17 00:00 373  
[TXT]standard.dsc2008-07-12 00:00 375  
[TXT]formal.dsc2008-04-17 00:00 383  
[TXT]larch.dsc2008-04-17 00:00 386  
[TXT]rail.dsc2008-04-17 00:00 392  
[TXT]uni-do.dsc2008-04-17 00:00 409  
[TXT]fme.dsc2008-04-17 00:00 435  
[TXT]SEG_Oldenburg.dsc2008-12-19 00:00 454  
[TXT]formal_methods.dsc2008-04-17 00:00 454  
[TXT]procos-wg.dsc2008-12-19 00:00 458  
[TXT]litprog.dsc2008-10-31 00:00 489  
[TXT]SEPL.dsc2008-04-17 00:00 498  
[TXT]reengineering.dsc2008-04-17 00:00 504  
[TXT]scm.dsc2008-04-17 00:00 506  
[TXT]vdm.dsc2008-04-17 00:00 514  
[TXT]algebraic.spec.dsc2008-04-17 00:00 523  
[TXT]ISPW.dsc2008-04-17 00:00 532  
[TXT]Contrib.dsc2008-11-14 00:00 539  
[TXT]Bmethod.dsc2008-04-17 00:00 546  
[TXT]patterns.dsc2008-04-17 00:00 553  
[TXT]VHDL.verification.dsc2008-04-17 00:00 568  
[TXT]vdm.plus.plus.dsc2008-04-17 00:00 570  
[TXT]uml.dsc2008-04-17 00:00 601  
[TXT]SWProcess.dsc2008-04-17 00:00 610  
[TXT]modelling.concurrent.systems.dsc2008-04-17 00:00 633  
[TXT]Coppit.softeng.dsc2008-04-17 00:00 636  
[TXT]Coppit.releng.dsc2008-04-17 00:00 644  
[TXT]ftr.dsc2008-04-17 00:00 652  
[TXT]EPFL.SEL.dsc2008-12-19 00:00 656  
[TXT]alspaugh.dsc2008-12-05 00:00 664  
[TXT]business.process.management.dsc2008-04-17 00:00 687  
[TXT]facs.dsc2008-04-17 00:00 699  
[TXT]CSDS.dsc2008-04-17 00:00 708  
[TXT]pub-lsv.dsc2008-12-19 00:00 708  
[TXT]CrossTalk.dsc2008-12-19 00:00 742  
[TXT]AFADL.dsc2008-04-17 00:00 760  
[TXT]se.dsc2008-04-17 00:00 778  
[TXT]test_process.dsc2008-08-23 00:00 782  
[TXT]softeng.group.Freiburg.dsc2008-04-17 00:00 855  
[TXT]dimarzo.dsc2008-04-17 00:00 930  
[TXT]EWSPT.dsc2008-04-17 00:00 948  
[TXT]sp_eval_improvement.dsc2008-08-23 00:00 971  
[TXT]agse-biblio.dsc2008-04-17 00:00 1.0K 
[TXT]procos2.dsc2008-04-17 00:00 1.0K 
[TXT]abstract.state.machines.dsc2008-12-19 00:00 1.0K 
[TXT]CoFI.dsc2008-12-19 00:00 1.0K 
[TXT]lcg.ist.dsc2008-12-19 00:00 1.0K 
[IMG]jse.years.stats.svgz2008-04-17 00:00 1.1K 
[IMG]AFADL.years.stats.svgz2008-04-17 00:00 1.1K 
[IMG]EWSPT.years.stats.svgz2008-04-17 00:00 1.1K 
[IMG]ISE.years.stats.svgz2008-04-17 00:00 1.1K 
[IMG]SETP.years.stats.svgz2008-04-17 00:00 1.1K 
[IMG]SOFTWARE.PE.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]program.development.years.stats.svgz2008-04-17 00:00 1.2K 
[TXT]SEEFM.dsc2008-04-17 00:00 1.2K 
[TXT]Z.dsc2008-04-17 00:00 1.2K 
[IMG]rail.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]IEEETRSENG.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]uml.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]VV.KBS.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]pub-lsv.years.stats.svgz2008-12-19 00:00 1.2K 
[IMG]raise.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]reuse.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]fme.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]softeng.misc.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]SEEFM.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]se.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]tosem.years.stats.svgz2008-11-14 00:00 1.2K 
[IMG]cool-chips.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]ESEC.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]facs.years.stats.svgz2008-04-17 00:00 1.2K 
[IMG]CoFI.years.stats.svgz2008-12-19 00:00 1.3K 
[IMG]softeng.group.Freiburg.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]formal.years.stats.svgz2008-04-17 00:00 1.3K 
[TXT]VV.KBS.dsc2008-04-17 00:00 1.3K 
[IMG]procos2.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]test_process.years.stats.svgz2008-08-23 00:00 1.3K 
[TXT]ICSE.dsc2008-04-17 00:00 1.3K 
[IMG]VHDL.verification.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]todaes.years.stats.svgz2008-10-04 00:00 1.3K 
[IMG]SEG_Oldenburg.years.stats.svgz2008-12-19 00:00 1.3K 
[IMG]sp_eval_improvement.years.stats.svgz2008-08-23 00:00 1.3K 
[IMG]ISPW.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]softeng.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]CrossTalk.years.stats.svgz2008-12-19 00:00 1.3K 
[IMG]larch.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]EPFL.SEL.years.stats.svgz2008-12-19 00:00 1.3K 
[IMG]Z.years.stats.svgz2008-04-17 00:00 1.3K 
[IMG]ICSE.years.stats.svgz2008-04-17 00:00 1.4K 
[IMG]domain.years.stats.svgz2008-04-17 00:00 1.4K 
[IMG]procos-wg.years.stats.svgz2008-12-19 00:00 1.4K 
[IMG]vdm.plus.plus.years.stats.svgz2008-04-17 00:00 1.4K 
[IMG]hot-chips.years.stats.svgz2008-07-12 00:00 1.4K 
[IMG]programming.env.years.stats.svgz2008-04-17 00:00 1.4K 
[IMG]SWProcess.years.stats.svgz2008-04-17 00:00 1.4K 
[IMG]cbsd.years.stats.svgz2008-04-17 00:00 1.4K 
[TXT]jse.dsc2008-04-17 00:00 1.4K 
[IMG]litprog.years.stats.svgz2008-10-31 00:00 1.4K 
[IMG]ftr.years.stats.svgz2008-04-17 00:00 1.4K 
[IMG]ieeesoft.years.stats.svgz2008-08-29 00:00 1.5K 
[IMG]standard.years.stats.svgz2008-07-12 00:00 1.5K 
[IMG]Bmethod.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]dimarzo.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]aosd.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]scm.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]abstract.state.machines.years.stats.svgz2008-12-19 00:00 1.5K 
[IMG]lcg.ist.years.stats.svgz2008-12-19 00:00 1.5K 
[IMG]Contrib.years.stats.svgz2008-11-14 00:00 1.5K 
[IMG]cadbib.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]patterns.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]Coppit.releng.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]formal_methods.years.stats.svgz2008-04-17 00:00 1.5K 
[IMG]agse-biblio.years.stats.svgz2008-04-17 00:00 1.6K 
[TXT]spe.dsc2008-10-31 00:00 1.6K 
[IMG]vdm.years.stats.svgz2008-04-17 00:00 1.6K 
[IMG]reengineering.years.stats.svgz2008-04-17 00:00 1.6K 
[IMG]modelling.concurrent.systems.years.stats.svgz2008-04-17 00:00 1.7K 
[IMG]spe.years.stats.svgz2008-10-31 00:00 1.7K 
[IMG]Coppit.softeng.years.stats.svgz2008-04-17 00:00 1.7K 
[IMG]obscure.years.stats.svgz2008-04-17 00:00 1.7K 
[IMG]uni-do.years.stats.svgz2008-04-17 00:00 1.7K 
[IMG]jse.years.stats.png2008-04-17 00:00 1.8K 
[TXT]logic.program.construction.dsc2008-12-19 00:00 1.8K 
[IMG]AFADL.years.stats.png2008-04-17 00:00 1.9K 
[IMG]algebraic.spec.years.stats.svgz2008-04-17 00:00 1.9K 
[IMG]dependability.years.stats.svgz2008-12-19 00:00 1.9K 
[IMG]SEPL.years.stats.svgz2008-04-17 00:00 1.9K 
[IMG]CSDS.years.stats.svgz2008-04-17 00:00 1.9K 
[IMG]softeng.misc.years.stats.png2008-04-17 00:00 1.9K 
[IMG]formal.years.stats.png2008-04-17 00:00 1.9K 
[IMG]ISE.years.stats.png2008-04-17 00:00 1.9K 
[IMG]cbsd.years.stats.png2008-04-17 00:00 1.9K 
[IMG]raise.years.stats.png2008-04-17 00:00 1.9K 
[IMG]procos2.years.stats.png2008-04-17 00:00 1.9K 
[TXT]tosem.dsc2008-11-14 00:00 1.9K 
[IMG]domain.years.stats.png2008-04-17 00:00 1.9K 
[IMG]logic.program.construction.years.stats.svgz2008-12-19 00:00 1.9K 
[TXT]domain.dsc2008-04-17 00:00 1.9K 
[IMG]SETP.years.stats.png2008-04-17 00:00 1.9K 
[IMG]SOFTWARE.PE.years.stats.png2008-04-17 00:00 1.9K 
[IMG]VV.KBS.years.stats.png2008-04-17 00:00 1.9K 
[IMG]procos-wg.years.stats.png2008-12-19 00:00 2.0K 
[IMG]softeng.years.stats.png2008-04-17 00:00 2.0K 
[IMG]softeng.group.Freiburg.years.stats.png2008-04-17 00:00 2.0K 
[IMG]dimarzo.years.stats.png2008-04-17 00:00 2.0K 
[IMG]larch.years.stats.png2008-04-17 00:00 2.0K 
[IMG]SEEFM.years.stats.png2008-04-17 00:00 2.0K 
[IMG]patterns.years.stats.png2008-04-17 00:00 2.0K 
[IMG]aosd.years.stats.png2008-04-17 00:00 2.0K 
[IMG]programming.env.years.stats.png2008-04-17 00:00 2.0K 
[IMG]rail.years.stats.png2008-04-17 00:00 2.0K 
[IMG]CoFI.years.stats.png2008-12-19 00:00 2.0K 
[IMG]SWProcess.years.stats.png2008-04-17 00:00 2.0K 
[IMG]reuse.years.stats.png2008-04-17 00:00 2.0K 
[IMG]program.development.years.stats.png2008-04-17 00:00 2.0K 
[IMG]agse-biblio.years.stats.png2008-04-17 00:00 2.0K 
[IMG]formal_methods.years.stats.png2008-04-17 00:00 2.0K 
[IMG]Z.years.stats.png2008-04-17 00:00 2.0K 
[ ]softeng.misc.bib.gz1997-08-26 00:00 2.0K 
[IMG]sp_eval_improvement.years.stats.png2008-08-23 00:00 2.0K 
[TXT]todaes.dsc2008-10-04 00:00 2.0K 
[IMG]standard.years.stats.png2008-07-12 00:00 2.0K 
[IMG]vdm.plus.plus.years.stats.png2008-04-17 00:00 2.0K 
[IMG]cool-chips.years.stats.png2008-04-17 00:00 2.0K 
[IMG]litprog.years.stats.png2008-10-31 00:00 2.1K 
[IMG]scm.years.stats.png2008-04-17 00:00 2.1K 
[IMG]IEEETRSENG.years.stats.png2008-04-17 00:00 2.1K 
[IMG]uml.years.stats.png2008-04-17 00:00 2.1K 
[IMG]uni-do.years.stats.png2008-04-17 00:00 2.1K 
[IMG]formal.hardware.verification.years.stats.svgz2008-04-17 00:00 2.1K 
[IMG]test_process.years.stats.png2008-08-23 00:00 2.1K 
[IMG]fme.years.stats.png2008-04-17 00:00 2.1K 
[IMG]se.years.stats.png2008-04-17 00:00 2.1K 
[IMG]ftr.years.stats.png2008-04-17 00:00 2.1K 
[IMG]cadbib.years.stats.png2008-04-17 00:00 2.1K 
[IMG]SEG_Oldenburg.years.stats.png2008-12-19 00:00 2.1K 
[IMG]VHDL.verification.years.stats.png2008-04-17 00:00 2.1K 
[IMG]reengineering.years.stats.png2008-04-17 00:00 2.1K 
[IMG]facs.years.stats.png2008-04-17 00:00 2.1K 
[IMG]abstract.state.machines.years.stats.png2008-12-19 00:00 2.1K 
[IMG]formal.hardware.verification.years.stats.png2008-04-17 00:00 2.1K 
[IMG]obscure.years.stats.png2008-04-17 00:00 2.1K 
[IMG]pub-lsv.years.stats.png2008-12-19 00:00 2.1K 
[IMG]Coppit.releng.years.stats.png2008-04-17 00:00 2.1K 
[IMG]tosem.years.stats.png2008-11-14 00:00 2.1K 
[IMG]modelling.concurrent.systems.years.stats.png2008-04-17 00:00 2.1K 
[IMG]CrossTalk.years.stats.png2008-12-19 00:00 2.2K 
[IMG]ISPW.years.stats.png2008-04-17 00:00 2.2K 
[IMG]ESEC.years.stats.png2008-04-17 00:00 2.2K 
[IMG]todaes.years.stats.png2008-10-04 00:00 2.2K 
[IMG]CSDS.years.stats.png2008-04-17 00:00 2.2K 
[IMG]EWSPT.years.stats.png2008-04-17 00:00 2.2K 
[IMG]ICSE.years.stats.png2008-04-17 00:00 2.2K 
[IMG]lcg.ist.years.stats.png2008-12-19 00:00 2.2K 
[IMG]Coppit.softeng.years.stats.png2008-04-17 00:00 2.2K 
[IMG]algebraic.spec.years.stats.png2008-04-17 00:00 2.2K 
[IMG]business.process.management.years.stats.svgz2008-04-17 00:00 2.2K 
[IMG]logic.program.construction.years.stats.png2008-12-19 00:00 2.2K 
[IMG]hot-chips.years.stats.png2008-07-12 00:00 2.2K 
[IMG]EPFL.SEL.years.stats.png2008-12-19 00:00 2.2K 
[IMG]Contrib.years.stats.png2008-11-14 00:00 2.2K 
[IMG]alspaugh.years.stats.svgz2008-12-05 00:00 2.2K 
[IMG]SEPL.years.stats.png2008-04-17 00:00 2.3K 
[IMG]dependability.years.stats.png2008-12-19 00:00 2.3K 
[IMG]business.process.management.years.stats.png2008-04-17 00:00 2.3K 
[IMG]vdm.years.stats.png2008-04-17 00:00 2.3K 
[TXT]aosd.dsc2008-04-17 00:00 2.3K 
[IMG]Bmethod.years.stats.png2008-04-17 00:00 2.3K 
[TXT]cool-chips.dsc2008-04-17 00:00 2.3K 
[IMG]alspaugh.years.stats.png2008-12-05 00:00 2.3K 
[IMG]ieeesoft.years.stats.png2008-08-29 00:00 2.3K 
[TXT]ieeesoft.dsc2008-08-29 00:00 2.5K 
[IMG]spe.years.stats.png2008-10-31 00:00 2.5K 
[ ]AFADL.bib.gz2007-06-20 00:00 2.6K 
[TXT]formal.hardware.verification.dsc2008-04-17 00:00 2.6K 
[ ]SETP.bib.gz2008-04-16 00:00 2.6K 
[TXT]dependability.dsc2008-12-19 00:00 2.7K 
[ ]jse.bib.gz2007-10-30 00:00 2.7K 
[TXT]hot-chips.dsc2008-07-12 00:00 3.2K 
[TXT]softeng.misc.html2008-04-17 00:00 4.3K 
[TXT]obscure.html2008-04-17 00:00 4.6K 
[TXT]ISE.html2008-04-17 00:00 4.6K 
[TXT]ESEC.html2008-04-17 00:00 4.7K 
[TXT]IEEETRSENG.html2008-04-17 00:00 4.7K 
[TXT]SOFTWARE.PE.html2008-04-17 00:00 4.7K 
[TXT]softeng.html2008-04-17 00:00 4.8K 
[TXT]SETP.html2008-04-17 00:00 4.8K 
[ ]VHDL.verification.bib.gz1997-08-26 00:00 4.8K 
[TXT]programming.env.html2008-04-17 00:00 4.9K 
[TXT]program.development.html2008-04-17 00:00 4.9K 
[TXT]raise.html2008-04-17 00:00 4.9K 
[TXT]CrossTalk.html2008-12-19 00:00 5.0K 
[TXT]formal.html2008-04-17 00:00 5.0K 
[TXT]VHDL.verification.html2008-04-17 00:00 5.0K 
[TXT]ISPW.html2008-04-17 00:00 5.0K 
[TXT]larch.html2008-04-17 00:00 5.0K 
[ ]raise.bib.gz2001-02-23 00:00 5.0K 
[TXT]rail.html2008-04-17 00:00 5.0K 
[TXT]fme.html2008-04-17 00:00 5.0K 
[TXT]vdm.plus.plus.html2008-04-17 00:00 5.1K 
[TXT]reuse.html2008-04-17 00:00 5.1K 
[TXT]uni-do.html2008-04-17 00:00 5.1K 
[TXT]standard.html2008-07-12 00:00 5.1K 
[TXT]cbsd.html2008-04-17 00:00 5.1K 
[TXT]vdm.html2008-04-17 00:00 5.2K 
[TXT]EPFL.SEL.html2008-12-19 00:00 5.2K 
[TXT]AFADL.html2008-04-17 00:00 5.2K 
[TXT]se.html2008-04-17 00:00 5.2K 
[TXT]SWProcess.html2008-04-17 00:00 5.2K 
[TXT]EWSPT.html2008-04-17 00:00 5.3K 
[TXT]cadbib.html2008-04-17 00:00 5.3K 
[TXT]SEG_Oldenburg.html2008-12-19 00:00 5.3K 
[TXT]algebraic.spec.html2008-04-17 00:00 5.4K 
[TXT]scm.html2008-04-17 00:00 5.4K 
[TXT]patterns.html2008-04-17 00:00 5.4K 
[TXT]test_process.html2008-08-23 00:00 5.4K 
[TXT]formal_methods.html2008-04-17 00:00 5.4K 
[TXT]Coppit.releng.html2008-04-17 00:00 5.4K 
[TXT]SEEFM.html2008-04-17 00:00 5.5K 
[TXT]procos-wg.html2008-12-19 00:00 5.5K 
[TXT]uml.html2008-04-17 00:00 5.5K 
[TXT]jse.html2008-04-17 00:00 5.5K 
[TXT]ftr.html2008-04-17 00:00 5.5K 
[TXT]ICSE.html2008-04-17 00:00 5.5K 
[TXT]alspaugh.html2008-12-05 00:00 5.5K 
[TXT]Bmethod.html2008-04-17 00:00 5.6K 
[TXT]Coppit.softeng.html2008-04-17 00:00 5.6K 
[TXT]pub-lsv.html2008-12-19 00:00 5.6K 
[TXT]CSDS.html2008-04-17 00:00 5.7K 
[TXT]facs.html2008-04-17 00:00 5.7K 
[TXT]sp_eval_improvement.html2008-08-23 00:00 5.8K 
[TXT]others.html2007-10-20 00:00 5.8K 
[TXT]litprog.html2008-10-31 00:00 5.8K 
[ ]patterns.bib.gz1997-08-26 00:00 5.8K 
[TXT]business.process.management.html2008-04-17 00:00 5.8K 
[TXT]agse-biblio.html2008-04-17 00:00 5.8K 
[TXT]dimarzo.html2008-04-17 00:00 5.8K 
[TXT]reengineering.html2008-04-17 00:00 5.9K 
[TXT]abstract.state.machines.html2008-12-19 00:00 5.9K 
[TXT]Contrib.html2008-11-14 00:00 5.9K 
[TXT]SEPL.html2008-04-17 00:00 5.9K 
[TXT]softeng.group.Freiburg.html2008-04-17 00:00 5.9K 
[TXT]VV.KBS.html2008-04-17 00:00 6.0K 
[TXT]Z.html2008-04-17 00:00 6.0K 
[TXT]modelling.concurrent.systems.html2008-04-17 00:00 6.3K 
[TXT]CoFI.html2008-12-19 00:00 6.3K 
[TXT]lcg.ist.html2008-12-19 00:00 6.5K 
[ ]formal.bib.gz2001-02-23 00:00 6.5K 
[ ]EWSPT.bib.gz1997-08-26 00:00 6.6K 
[TXT]tosem.html2008-11-14 00:00 6.6K 
[TXT]spe.html2008-10-31 00:00 6.7K 
[TXT]domain.html2008-04-17 00:00 6.7K 
[TXT]todaes.html2008-10-04 00:00 6.7K 
[ ]rail.bib.gz2001-02-23 00:00 6.8K 
[TXT]cool-chips.html2008-04-17 00:00 6.9K 
[TXT]procos2.html2008-04-17 00:00 6.9K 
[TXT]ieeesoft.html2008-08-29 00:00 7.1K 
[TXT]dependability.html2008-12-19 00:00 7.2K 
[ ]larch.bib.gz2000-04-28 00:00 7.3K 
[ ]standard.bib.gz2008-07-04 00:00 7.4K 
[ ]vdm.plus.plus.bib.gz2008-02-06 00:00 7.4K 
[TXT]aosd.html2008-04-17 00:00 7.6K 
[TXT]logic.program.construction.html2008-12-19 00:00 7.9K 
[TXT]hot-chips.html2008-07-12 00:00 8.0K 
[ ]SEEFM.bib.gz2007-01-08 00:00 8.6K 
[ ]SWProcess.bib.gz1998-03-02 00:00 9.6K 
[TXT]formal.hardware.verification.html2008-04-17 00:00 9.6K 
[ ]test_process.bib.gz2008-08-18 00:00 10K 
[ ]facs.bib.gz2001-04-27 00:00 11K 
[ ]reuse.bib.gz1998-04-24 00:00 11K 
[ ]SOFTWARE.PE.bib.gz1997-08-26 00:00 13K 
[ ]ISPW.bib.gz1997-08-26 00:00 13K 
[ ]VV.KBS.bib.gz1997-08-26 00:00 13K 
[ ]procos2.bib.gz1997-11-06 00:00 13K 
[ ]ESEC.bib.gz1997-11-21 00:00 13K 
[ ]ISE.bib.gz2007-10-30 00:00 14K 
[ ]program.development.bib.gz2000-10-13 00:00 14K 
[TXT]index.html2008-12-19 00:00 15K 
[ ]Coppit.releng.bib.gz2006-05-01 00:00 16K 
[ ]cool-chips.bib.gz2004-01-10 00:00 19K 
[ ]sp_eval_improvement.bib.gz2008-08-22 00:00 20K 
[ ]cadbib.bib.gz2003-04-17 00:00 21K 
[ ]fme.bib.gz2001-02-23 00:00 28K 
[ ]procos-wg.bib.gz1994-07-28 00:00 28K 
[ ]softeng.bib.gz1997-08-26 00:00 28K 
[ ]cbsd.bib.gz2000-02-15 00:00 32K 
[ ]formal_methods.bib.gz2005-09-04 00:00 36K 
[ ]softeng.group.Freiburg.bib.gz2003-10-03 00:00 36K 
[ ]scm.bib.gz1998-03-20 00:00 37K 
[ ]algebraic.spec.bib.gz1997-08-26 00:00 38K 
[ ]hot-chips.bib.gz2008-07-10 00:00 39K 
[ ]dimarzo.bib.gz2003-04-25 00:00 39K 
[ ]ftr.bib.gz2003-03-18 00:00 39K 
[ ]SEG_Oldenburg.bib.gz2008-01-04 00:00 40K 
[ ]CoFI.bib.gz2004-03-08 00:00 40K 
[ ]lcg.ist.bib.gz2008-12-19 00:00 43K 
[ ]IEEETRSENG.bib.gz1997-08-26 00:00 47K 
[ ]abstract.state.machines.bib.gz2008-05-08 00:00 50K 
[ ]litprog.bib.gz2008-10-29 00:00 53K 
[ ]uni-do.bib.gz2005-11-08 00:00 60K 
[ ]uml.bib.gz2005-05-10 00:00 66K 
[ ]Contrib.bib.gz2008-11-14 00:00 70K 
[ ]obscure.bib.gz1997-08-26 00:00 75K 
[ ]EPFL.SEL.bib.gz2008-12-19 00:00 79K 
[ ]modelling.concurrent.systems.bib.gz2005-05-04 00:00 84K 
[ ]Z.bib.gz2003-03-17 00:00 85K 
[ ]vdm.bib.gz2008-02-06 00:00 88K 
[ ]CrossTalk.bib.gz2008-12-19 00:00 89K 
[ ]Bmethod.bib.gz2008-03-20 00:00 97K 
[ ]tosem.bib.gz2008-11-11 00:00 102K 
[ ]programming.env.bib.gz1997-08-26 00:00 103K 
[ ]business.process.management.bib.gz2007-11-11 00:00 107K 
[ ]ICSE.bib.gz2002-05-10 00:00 112K 
[ ]agse-biblio.bib.gz2001-07-27 00:00 125K 
[ ]todaes.bib.gz2008-10-01 00:00 141K 
[ ]logic.program.construction.bib.gz2008-12-19 00:00 152K 
[ ]aosd.bib.gz2008-02-22 00:00 155K 
[ ]se.bib.gz1996-08-30 00:00 185K 
[ ]domain.bib.gz2004-10-05 00:00 216K 
[ ]formal.hardware.verification.bib.gz2000-04-28 00:00 217K 
[ ]spe.bib.gz2008-10-24 00:00 227K 
[ ]pub-lsv.bib.gz2008-12-14 00:00 229K 
[ ]ieeesoft.bib.gz2008-08-25 00:00 231K 
[ ]Coppit.softeng.bib.gz2007-09-05 00:00 278K 
[ ]reengineering.bib.gz2006-03-01 00:00 347K 
[ ]dependability.bib.gz2003-03-12 00:00 433K 
[ ]alspaugh.bib.gz2008-12-04 00:00 677K 
[ ]CSDS.bib.gz2005-05-26 00:00 1.2M 
[ ]SEPL.bib.gz2003-01-24 00:00 2.2M