Faster Analysis of Formal Specifications.

Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet

Browse the full ICFEM paper archive.