Predicate diagrams
Résumé
a completer
Communication Dans Un Congrès
Année : 2000
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099263
Soumis le : mardi 26 septembre 2006-08:52:13
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : inria-00099263 , version 1
Citer
Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams. Workshop on Requirement, Design, Correct Construction & Verification, M.V. Cengarle, 2000, Munich, Germany. ⟨inria-00099263⟩
Collections
60
Consultations
0
Téléchargements