Some reflections on the teaching of Formal Methods
Résumé
no abstract
Communication Dans Un Congrès
Année : 2003
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458173
Soumis le : vendredi 19 février 2010-15:18:24
Dernière modification le : vendredi 5 janvier 2024-03:24:59
Dates et versions
Identifiants
- HAL Id : hal-00458173 , version 1
Citer
Henri Habrias, Sébastien Faucou. Some reflections on the teaching of Formal Methods. Teaching Formal Methods, Workshop, TFM 2003, 2003, Oxford, UK, United Kingdom. 5 p. ⟨hal-00458173⟩
Collections
54
Consultations
0
Téléchargements