How Symbolic Animation Can Help Designing an Efficient Formal Model.

Fabrice Bouquet, Frdric Dadeau, Bruno Legeard

Browse the full ICFEM paper archive.