Prototype Verification System

Nature : assistant de preuve, langage de spécification

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

Mots du lexique : prototype nom commun, system nom commun

Wikidata Q3408184 · Wikipédia