Méthode Formelle
concept
techniques de raisonnement mathématique sur des programmes ou du matériel informatique
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Méthode_formelle_(informatique)
Lien Wikidata : https://www.wikidata.org/wiki/Q1049183