IRIT
,
Univ. Paul Sabatier
,
ACADIE
Selma Djeddai
Thesis: Combining formal verification environments and model-driven engineering.
Online copy
Last modified: Fri Jul 3 18:28:03 CEST 2015