Construction incrémentale1 Construction Incrémentale de Spécifications de Systèmes Critiques intégrant des Procédures de Vérification Présenté par: Jury.