Formal Verification of Industrial Critical Software.

Marielle Petit-Doche, Nicolas Breton, Romo Courbis, Yoann Fonteneau, Matthias Gdemann

Browse the full FMICS paper archive.