Hong-Viet Luong. Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification. (Incremental Construction of Specifications of Critical Systems integrating Verification Procedures). PhD thesis, Paul Sabatier University, Toulouse, France, 2010. [doi]
Abstract is missing.