Xavier Leroy. Comment faire confiance à un compilateur? La Recherche, 440, April 2010. Les cahiers de l'INRIA.

(In French.) A short introduction to compiler verification, published in the French popular science magazine La Recherche.

bib | Local copy | At publisher's ] Back


This file was generated by bibtex2html 1.95.