TY  - THES
DP  - http://www.theses.fr/2013TOU30066
TI  - Combining formal verification environments and model-driven engineering
AU  - Djeddai, Selma
A3  - Matthes, Ralph; Strecker, Martin
PY  - 2013
SP  - 1 vol. (156 p.)
N1  - Thèse de doctorat Domaine STIC Toulouse 3 2013
N1  - 2013TOU30066
UR  - http://www.theses.fr/2013TOU30066/document
ER  -