Gianluca Barbon. Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple). PhD thesis, Grenoble Alpes University, France, 2018. [doi]
@phdthesis{hal-12465,
title = {Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple)},
author = {Gianluca Barbon},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-02191544},
researchr = {https://researchr.org/publication/hal-12465},
cites = {0},
citedby = {0},
school = {Grenoble Alpes University, France},
}