Compcert

oeuvre

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

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/CompCert

Lien Wikidata : https://www.wikidata.org/wiki/Q5155256

Propriétés

Catégories

logiciels informatique et technologie concepts abstraits