bn:00418741n
Noun Named Entity
Categories: Java, Méthode formelle
FR
KeY
FR
Le logiciel KeY est un outil de vérification formelle de programmes Java. Wikipedia
French:
logiciel
Definitions
Relations
Sources
FR
Le logiciel KeY est un outil de vérification formelle de programmes Java. Wikipedia
Un logiciel de vérification formelle pour le langage Java. Wikipedia Disambiguation
Wikipedia
Wikidata
FR
KeY