Spin

oeuvre

Liens externes

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

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

Propriétés

date_creation: +1989-00-0

Catégories

logiciels informatique et technologie concepts abstraits

Mots liés

spin NOM