Formal Methods: State of the Art and Future Directions

Edmond M. Clarke 1 Jeannette M. Wing
1 LINA - Laboratoire d'Informatique de Nantes Atlantique
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

Collections

CNRS | UNIV-NANTES | LINA | LINA-COLOSS | LINA-AELOS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

512

Contact

Informations

CCSD