Prouver les programmes : pourquoi, quand, comment ?

Vérification et optimisation booléennes d'automates et circuits