En relation avec le sujet du cours (Chaire d'Innovation technologique Liliane Bettencourt)

La vérification des programmes par interprétation abstraite