École de recherche d'hiver "vérification et certification du logiciel", ENS Lyon, janvier 2012

Sémantiques formelles sur machine

Application à la compilation formellement vérifiée

Support de cours:


Sandrine.Blazy@irisa.fr