source: papers/FDL2012 @ 74

Name Size Rev Age Author Last Change
../
schema 60   13 years cecile new folder organization
Ubbold.fd 1.7 KB 49   13 years cecile add math font
strings.bib 226 bytes 48   13 years syed /papers/FDL2012
spconf.sty 8.6 KB 48   13 years syed /papers/FDL2012
refs.bib 212 bytes 48   13 years syed /papers/FDL2012
ordering_filter_properties.tex 13.2 KB 69   13 years cecile partie raffinement avec liste des propriétés mis à jour
myBib.bib 11.7 KB 69   13 years cecile partie raffinement avec liste des propriétés mis à jour
introduction.tex 7.5 KB 74   13 years syed /papers/FDL2012/
IEEEbib.bst 17.5 KB 48   13 years syed /papers/FDL2012
framework.tex 12.3 KB 68   13 years ema
FDL2012.tex 3.9 KB 66   13 years cecile refinement with property first part
exp_results.tex 7.3 KB 74   13 years syed /papers/FDL2012/
bbold.sty 1.8 KB 49   13 years cecile add math font
bbold10.pfb 24.9 KB 49   13 years cecile add math font
abstraction_refinement.tex 9.6 KB 70   13 years ema
Note: See TracBrowser for help on using the repository browser.