Sciweavers

FM
2005
Springer

Symbolic Animation of JML Specifications

14 years 4 months ago
Symbolic Animation of JML Specifications
Fabrice Bouquet, Frédéric Dadeau, Br
Added 29 Jun 2010
Updated 29 Jun 2010
Type Conference
Year 2005
Where FM
Authors Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
Comments (0)