Compcert

oeuvre

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

Wikipedia Wikidata

Propriétés

Catégories

logiciels informatique et technologie concepts abstraits