Formal Methods: State of the Art and Future Directions
Résumé
no abstract
Article Dans Une Revue
ACM Computing Surveys
Année : 1995
Coloss Lina : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00444076
Soumis le : mardi 5 janvier 2010-16:03:32
Dernière modification le : vendredi 5 janvier 2024-03:24:32
Dates et versions
Identifiants
- HAL Id : hal-00444076 , version 1
Citer
Edmond M. Clarke, Jeannette M. Wing. Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 1995, 28 (4), pp.626--643. ⟨hal-00444076⟩
Collections
965
Consultations
0
Téléchargements