suivant:
ISABELLE en très bref
Université Louis Pasteur
Strasbourg
Département d'informatique
Master Informatique 1ère année
30 novembre 2006
TP : Expérimentation de la logique de Hoare
avec I
SABELLE
I
SABELLE
en très bref
L'interprète
ML
Démontrer un théorème
La théorie
Hoare.thy
Exemple
Ce qui est à faire
À propos de ce document...
Eric Violard 2006-11-30