TY  - THES
DP  - http://www.theses.fr/2008PA077013
TI  - Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples
AU  - Moro, Pierre
A3  - Bouajjani, Ahmed
PY  - 2008
SP  - 1 vol. (156 f.)
N1  - Thèse de doctorat Informatique Paris 7 2008
N1  - 2008PA077013
ER  -