Comparison of Object-Oriented Formal Methods
1997
Fichiers
Détails
Titre
Comparison of Object-Oriented Formal Methods
Auteur(s)
Guelfi, Nicolas ; Biberstein, Olivier ; Buchs, Didier ; Canver, E. ; Gaudel, Marie-Claude ; von Henke, F. ; Schwier, D.
Publié dans
Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation''
Date
1997
Laboratoires
LGL
Le document apparaît dans
Production scientifique et compétences > I&C - Faculté Informatique & Communications > IC Archives > LGL - Laboratoire de génie logiciel
Publications validées par des pairs
Travail hors EPFL
Articles de journaux
Publié
Publications validées par des pairs
Travail hors EPFL
Articles de journaux
Publié
Date de création de la notice
2005-09-20