Formal Verification of Industrial Critical Software. - Petit-Doche, Marielle; Breton, Nicolas; Courbis, Roméo; Fonteneau, Yoann; Güdemann, Matthias (2015)

Formal Data Validation with Event-B - Badeau, Frédéric; Petit-Doche, Marielle (CoRR, 2012)