Xavier Leroy. Comment faire confiance à un compilateur? La Recherche, 440, April 2010.

(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.