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 ISABELLE