(BIN) AFADL.bib.gz
 (TXT) AFADL.dsc
 (HTM) AFADL.html
 (PNG) AFADL.years.stats.png
 (BIN) AFADL.years.stats.svgz
 (BIN) Bmethod.bib.gz
 (TXT) Bmethod.dsc
 (HTM) Bmethod.html
 (PNG) Bmethod.years.stats.png
 (BIN) Bmethod.years.stats.svgz
 (BIN) CSDS.bib.gz
 (TXT) CSDS.dsc
 (HTM) CSDS.html
 (PNG) CSDS.years.stats.png
 (BIN) CSDS.years.stats.svgz
 (BIN) CoFI.bib.gz
 (TXT) CoFI.dsc
 (HTM) CoFI.html
 (PNG) CoFI.years.stats.png
 (BIN) CoFI.years.stats.svgz
 (BIN) Contrib.bib.gz
 (TXT) Contrib.dsc
 (HTM) Contrib.html
 (PNG) Contrib.years.stats.png
 (BIN) Contrib.years.stats.svgz
 (BIN) Coppit.releng.bib.gz
 (TXT) Coppit.releng.dsc
 (HTM) Coppit.releng.html
 (PNG) Coppit.releng.years.stats.png
 (BIN) Coppit.releng.years.stats.svgz
 (BIN) Coppit.softeng.bib.gz
 (TXT) Coppit.softeng.dsc
 (HTM) Coppit.softeng.html
 (PNG) Coppit.softeng.years.stats.png
 (BIN) Coppit.softeng.years.stats.svgz
 (BIN) CrossTalk.bib.gz
 (TXT) CrossTalk.dsc
 (HTM) CrossTalk.html
 (PNG) CrossTalk.years.stats.png
 (BIN) CrossTalk.years.stats.svgz
 (BIN) EPFL.SEL.bib.gz
 (TXT) EPFL.SEL.dsc
 (HTM) EPFL.SEL.html
 (PNG) EPFL.SEL.years.stats.png
 (BIN) EPFL.SEL.years.stats.svgz
 (BIN) ESEC.bib.gz
 (TXT) ESEC.dsc
 (HTM) ESEC.html
 (PNG) ESEC.years.stats.png
 (BIN) ESEC.years.stats.svgz
 (BIN) EWSPT.bib.gz
 (TXT) EWSPT.dsc
 (HTM) EWSPT.html
 (PNG) EWSPT.years.stats.png
 (BIN) EWSPT.years.stats.svgz
 (BIN) ICSE.bib.gz
 (TXT) ICSE.dsc
 (HTM) ICSE.html
 (PNG) ICSE.years.stats.png
 (BIN) ICSE.years.stats.svgz
 (BIN) IEEETRSENG.bib.gz
 (TXT) IEEETRSENG.dsc
 (HTM) IEEETRSENG.html
 (PNG) IEEETRSENG.years.stats.png
 (BIN) IEEETRSENG.years.stats.svgz
 (BIN) ISE.bib.gz
 (TXT) ISE.dsc
 (HTM) ISE.html
 (PNG) ISE.years.stats.png
 (BIN) ISE.years.stats.svgz
 (BIN) ISPW.bib.gz
 (TXT) ISPW.dsc
 (HTM) ISPW.html
 (PNG) ISPW.years.stats.png
 (BIN) ISPW.years.stats.svgz
 (BIN) SEEFM.bib.gz
 (TXT) SEEFM.dsc
 (HTM) SEEFM.html
 (PNG) SEEFM.years.stats.png
 (BIN) SEEFM.years.stats.svgz
 (BIN) SEG_Oldenburg.bib.gz
 (TXT) SEG_Oldenburg.dsc
 (HTM) SEG_Oldenburg.html
 (PNG) SEG_Oldenburg.years.stats.png
 (BIN) SEG_Oldenburg.years.stats.svgz
 (BIN) SEPL.bib.gz
 (TXT) SEPL.dsc
 (HTM) SEPL.html
 (PNG) SEPL.years.stats.png
 (BIN) SEPL.years.stats.svgz
 (BIN) SETP.bib.gz
 (TXT) SETP.dsc
 (HTM) SETP.html
 (PNG) SETP.years.stats.png
 (BIN) SETP.years.stats.svgz
 (BIN) SOFTWARE.PE.bib.gz
 (TXT) SOFTWARE.PE.dsc
 (HTM) SOFTWARE.PE.html
 (PNG) SOFTWARE.PE.years.stats.png
 (BIN) SOFTWARE.PE.years.stats.svgz
 (BIN) SWProcess.bib.gz
 (TXT) SWProcess.dsc
 (HTM) SWProcess.html
 (PNG) SWProcess.years.stats.png
 (BIN) SWProcess.years.stats.svgz
 (BIN) VHDL.verification.bib.gz
 (TXT) VHDL.verification.dsc
 (HTM) VHDL.verification.html
 (PNG) VHDL.verification.years.stats.png
 (BIN) VHDL.verification.years.stats.svgz
 (BIN) VV.KBS.bib.gz
 (TXT) VV.KBS.dsc
 (HTM) VV.KBS.html
 (PNG) VV.KBS.years.stats.png
 (BIN) VV.KBS.years.stats.svgz
 (BIN) Z.bib.gz
 (TXT) Z.dsc
 (HTM) Z.html
 (PNG) Z.years.stats.png
 (BIN) Z.years.stats.svgz
 (BIN) abstract.state.machines.bib.gz
 (TXT) abstract.state.machines.dsc
 (HTM) abstract.state.machines.html
 (PNG) abstract.state.machines.years.stats.png
 (BIN) abstract.state.machines.years.stats.svgz
 (BIN) agse-biblio.bib.gz
 (TXT) agse-biblio.dsc
 (HTM) agse-biblio.html
 (PNG) agse-biblio.years.stats.png
 (BIN) agse-biblio.years.stats.svgz
 (BIN) algebraic.spec.bib.gz
 (TXT) algebraic.spec.dsc
 (HTM) algebraic.spec.html
 (PNG) algebraic.spec.years.stats.png
 (BIN) algebraic.spec.years.stats.svgz
 (BIN) alspaugh.bib.gz
 (TXT) alspaugh.dsc
 (HTM) alspaugh.html
 (PNG) alspaugh.years.stats.png
 (BIN) alspaugh.years.stats.svgz
 (BIN) aosd.bib.gz
 (TXT) aosd.dsc
 (HTM) aosd.html
 (PNG) aosd.years.stats.png
 (BIN) aosd.years.stats.svgz
 (BIN) business.process.management.bib.gz
 (TXT) business.process.management.dsc
 (HTM) business.process.management.html
 (PNG) business.process.management.years.stats.png
 (BIN) business.process.management.years.stats.svgz
 (BIN) cadbib.bib.gz
 (TXT) cadbib.dsc
 (HTM) cadbib.html
 (PNG) cadbib.years.stats.png
 (BIN) cadbib.years.stats.svgz
 (BIN) cbsd.bib.gz
 (TXT) cbsd.dsc
 (HTM) cbsd.html
 (PNG) cbsd.years.stats.png
 (BIN) cbsd.years.stats.svgz
 (BIN) cool-chips.bib.gz
 (TXT) cool-chips.dsc
 (HTM) cool-chips.html
 (PNG) cool-chips.years.stats.png
 (BIN) cool-chips.years.stats.svgz
 (BIN) dependability.bib.gz
 (TXT) dependability.dsc
 (HTM) dependability.html
 (PNG) dependability.years.stats.png
 (BIN) dependability.years.stats.svgz
 (BIN) dimarzo.bib.gz
 (TXT) dimarzo.dsc
 (HTM) dimarzo.html
 (PNG) dimarzo.years.stats.png
 (BIN) dimarzo.years.stats.svgz
 (BIN) domain.bib.gz
 (TXT) domain.dsc
 (HTM) domain.html
 (PNG) domain.years.stats.png
 (BIN) domain.years.stats.svgz
 (BIN) facs.bib.gz
 (TXT) facs.dsc
 (HTM) facs.html
 (PNG) facs.years.stats.png
 (BIN) facs.years.stats.svgz
 (BIN) fme.bib.gz
 (TXT) fme.dsc
 (HTM) fme.html
 (PNG) fme.years.stats.png
 (BIN) fme.years.stats.svgz
 (BIN) formal.bib.gz
 (TXT) formal.dsc
 (BIN) formal.hardware.verification.bib.gz
 (TXT) formal.hardware.verification.dsc
 (HTM) formal.hardware.verification.html
 (PNG) formal.hardware.verification.years.stats.png
 (BIN) formal.hardware.verification.years.stats.svgz
 (HTM) formal.html
 (PNG) formal.years.stats.png
 (BIN) formal.years.stats.svgz
 (BIN) formal_methods.bib.gz
 (TXT) formal_methods.dsc
 (HTM) formal_methods.html
 (PNG) formal_methods.years.stats.png
 (BIN) formal_methods.years.stats.svgz
 (BIN) ftr.bib.gz
 (TXT) ftr.dsc
 (HTM) ftr.html
 (PNG) ftr.years.stats.png
 (BIN) ftr.years.stats.svgz
 (BIN) hot-chips.bib.gz
 (TXT) hot-chips.dsc
 (HTM) hot-chips.html
 (PNG) hot-chips.years.stats.png
 (BIN) hot-chips.years.stats.svgz
 (BIN) ieeesoft.bib.gz
 (TXT) ieeesoft.dsc
 (HTM) ieeesoft.html
 (PNG) ieeesoft.years.stats.png
 (BIN) ieeesoft.years.stats.svgz
 (HTM) index.html
 (BIN) jse.bib.gz
 (TXT) jse.dsc
 (HTM) jse.html
 (PNG) jse.years.stats.png
 (BIN) jse.years.stats.svgz
 (BIN) larch.bib.gz
 (TXT) larch.dsc
 (HTM) larch.html
 (PNG) larch.years.stats.png
 (BIN) larch.years.stats.svgz
 (BIN) lcg.ist.bib.gz
 (TXT) lcg.ist.dsc
 (HTM) lcg.ist.html
 (PNG) lcg.ist.years.stats.png
 (BIN) lcg.ist.years.stats.svgz
 (BIN) litprog.bib.gz
 (TXT) litprog.dsc
 (HTM) litprog.html
 (PNG) litprog.years.stats.png
 (BIN) litprog.years.stats.svgz
 (BIN) logic.program.construction.bib.gz
 (TXT) logic.program.construction.dsc
 (HTM) logic.program.construction.html
 (PNG) logic.program.construction.years.stats.png
 (BIN) logic.program.construction.years.stats.svgz
 (BIN) modelling.concurrent.systems.bib.gz
 (TXT) modelling.concurrent.systems.dsc
 (HTM) modelling.concurrent.systems.html
 (PNG) modelling.concurrent.systems.years.stats.png
 (BIN) modelling.concurrent.systems.years.stats.svgz
 (BIN) obscure.bib.gz
 (TXT) obscure.dsc
 (HTM) obscure.html
 (PNG) obscure.years.stats.png
 (BIN) obscure.years.stats.svgz
 (HTM) others.html
 (BIN) patterns.bib.gz
 (TXT) patterns.dsc
 (HTM) patterns.html
 (PNG) patterns.years.stats.png
 (BIN) patterns.years.stats.svgz
 (BIN) procos-wg.bib.gz
 (TXT) procos-wg.dsc
 (HTM) procos-wg.html
 (PNG) procos-wg.years.stats.png
 (BIN) procos-wg.years.stats.svgz
 (BIN) procos2.bib.gz
 (TXT) procos2.dsc
 (HTM) procos2.html
 (PNG) procos2.years.stats.png
 (BIN) procos2.years.stats.svgz
 (BIN) program.development.bib.gz
 (TXT) program.development.dsc
 (HTM) program.development.html
 (PNG) program.development.years.stats.png
 (BIN) program.development.years.stats.svgz
 (BIN) programming.env.bib.gz
 (TXT) programming.env.dsc
 (HTM) programming.env.html
 (PNG) programming.env.years.stats.png
 (BIN) programming.env.years.stats.svgz
 (BIN) pub-lsv.bib.gz
 (TXT) pub-lsv.dsc
 (HTM) pub-lsv.html
 (PNG) pub-lsv.years.stats.png
 (BIN) pub-lsv.years.stats.svgz
 (BIN) rail.bib.gz
 (TXT) rail.dsc
 (HTM) rail.html
 (PNG) rail.years.stats.png
 (BIN) rail.years.stats.svgz
 (BIN) raise.bib.gz
 (TXT) raise.dsc
 (HTM) raise.html
 (PNG) raise.years.stats.png
 (BIN) raise.years.stats.svgz
 (BIN) reengineering.bib.gz
 (TXT) reengineering.dsc
 (HTM) reengineering.html
 (PNG) reengineering.years.stats.png
 (BIN) reengineering.years.stats.svgz
 (BIN) reuse.bib.gz
 (TXT) reuse.dsc
 (HTM) reuse.html
 (PNG) reuse.years.stats.png
 (BIN) reuse.years.stats.svgz
 (BIN) scm.bib.gz
 (TXT) scm.dsc
 (HTM) scm.html
 (PNG) scm.years.stats.png
 (BIN) scm.years.stats.svgz
 (BIN) se.bib.gz
 (TXT) se.dsc
 (HTM) se.html
 (PNG) se.years.stats.png
 (BIN) se.years.stats.svgz
 (BIN) softeng.bib.gz
 (TXT) softeng.dsc
 (BIN) softeng.group.Freiburg.bib.gz
 (TXT) softeng.group.Freiburg.dsc
 (HTM) softeng.group.Freiburg.html
 (PNG) softeng.group.Freiburg.years.stats.png
 (BIN) softeng.group.Freiburg.years.stats.svgz
 (HTM) softeng.html
 (BIN) softeng.misc.bib.gz
 (TXT) softeng.misc.dsc
 (HTM) softeng.misc.html
 (PNG) softeng.misc.years.stats.png
 (BIN) softeng.misc.years.stats.svgz
 (PNG) softeng.years.stats.png
 (BIN) softeng.years.stats.svgz
 (BIN) sp_eval_improvement.bib.gz
 (TXT) sp_eval_improvement.dsc
 (HTM) sp_eval_improvement.html
 (PNG) sp_eval_improvement.years.stats.png
 (BIN) sp_eval_improvement.years.stats.svgz
 (BIN) spe.bib.gz
 (TXT) spe.dsc
 (HTM) spe.html
 (PNG) spe.years.stats.png
 (BIN) spe.years.stats.svgz
 (BIN) standard.bib.gz
 (TXT) standard.dsc
 (HTM) standard.html
 (PNG) standard.years.stats.png
 (BIN) standard.years.stats.svgz
 (BIN) test_process.bib.gz
 (TXT) test_process.dsc
 (HTM) test_process.html
 (PNG) test_process.years.stats.png
 (BIN) test_process.years.stats.svgz
 (BIN) todaes.bib.gz
 (TXT) todaes.dsc
 (HTM) todaes.html
 (PNG) todaes.years.stats.png
 (BIN) todaes.years.stats.svgz
 (BIN) tosem.bib.gz
 (TXT) tosem.dsc
 (HTM) tosem.html
 (PNG) tosem.years.stats.png
 (BIN) tosem.years.stats.svgz
 (BIN) uml.bib.gz
 (TXT) uml.dsc
 (HTM) uml.html
 (PNG) uml.years.stats.png
 (BIN) uml.years.stats.svgz
 (BIN) uni-do.bib.gz
 (TXT) uni-do.dsc
 (HTM) uni-do.html
 (PNG) uni-do.years.stats.png
 (BIN) uni-do.years.stats.svgz
 (BIN) vdm.bib.gz
 (TXT) vdm.dsc
 (HTM) vdm.html
 (BIN) vdm.plus.plus.bib.gz
 (TXT) vdm.plus.plus.dsc
 (HTM) vdm.plus.plus.html
 (PNG) vdm.plus.plus.years.stats.png
 (BIN) vdm.plus.plus.years.stats.svgz
 (PNG) vdm.years.stats.png
 (BIN) vdm.years.stats.svgz