Stéphane Demri Logiques pour la spécification et vérification. 2007 Paris Diderot University, France https://tel.archives-ouvertes.fr/tel-03189929