Logique de Hoare
concept formalisme logique permettant de raisonner sur la correction des programmes informatiques
Nature : système formel
Catégories : informatique · informatique et technologie · concepts abstraits
Mots du lexique : logique nom commun