(In French.) A short introduction to compiler verification, published in the French popular science magazine La Recherche.
[ bib | Local copy | At publisher's site ] Back
This file was generated by bibtex2html 1.99.