Stéphane Demri. Logiques pour la spécification et vérification. 2007. [doi]
@book{Demri07,
title = {Logiques pour la spécification et vérification},
author = {Stéphane Demri},
year = {2007},
url = {https://tel.archives-ouvertes.fr/tel-03189929},
researchr = {https://researchr.org/publication/Demri07},
cites = {0},
citedby = {0},
}