Linking Paradigms, Semi-formal and Formal Notations
Résumé
no abstract
Communication Dans Un Congrès
Année : 2004
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458172
Soumis le : vendredi 19 février 2010-15:18:24
Dernière modification le : vendredi 5 janvier 2024-03:25:18
Dates et versions
Identifiants
- HAL Id : hal-00458172 , version 1
Citer
Henri Habrias, Sébastien Faucou. Linking Paradigms, Semi-formal and Formal Notations. {Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004}, 2004, Ghent, Belgium, Belgium. pp.166--184. ⟨hal-00458172⟩
Collections
42
Consultations
0
Téléchargements