J. Courant et J.-C. Filliâtre. Formalisation de la théorie des langages formels en Coq. Rapport de maîtrise, Ecole Normale Supérieure, Septembre 1993.
[
bib
|
.dvi.gz
]
Back
This file has been generated by
bibtex2html
1.63