Symbolic Animation of JML Specifications.

Fabrice Bouquet, Frdric Dadeau, Bruno Legeard, Mark Utting

Browse the full FM paper archive.