Formal Methods: State of the Art and Future Directions

Résumé : no abstract
Document type :
Journal articles
Complete list of metadatas

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

Identifiers

  • HAL Id : hal-00444076, version 1

Citation

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⟩

Share

Metrics

Record views

512