CompCert

oeuvre projet pour la réalisation de compilateurs vérifiés formellement

Nature : compilateur, logiciel à sources consultables

Catégories : logiciels · informatique et technologie · concepts abstraits

Wikidata Q5155256 · Wikipédia