Skip to Main content Skip to Navigation
New interface


hal-00444074v1  Journal articles
Pascal AndréFranck BarbierJean-Claude Royer. Une expérimentation de développement formel à objets
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1995, 14 (8), pp.973-1005
hal-00444076v1  Journal articles
Edmond M. ClarkeJeannette M. Wing. Formal Methods: State of the Art and Future Directions
ACM Computing Surveys, Association for Computing Machinery, 1995, 28 (4), pp.626--643