https://hal.archives-ouvertes.fr/hal-00444076
Contributor : Coloss Lina <>
Submitted on : Tuesday, January 5, 2010 - 4:03:32 PM Last modification on : Thursday, April 5, 2018 - 10:36:49 AM
Edmond M. Clarke, Jeannette M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, Association for Computing Machinery, 1995, 28 (4), pp.626--643. ⟨hal-00444076⟩