From Research to Teaching Formal Methods: The B Method (TFM-B'2008)
Résumé
Conference Proceedings
Ouvrages
Année : 2008
Christian Attiogbe : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00483735
Soumis le : dimanche 16 mai 2010-23:29:51
Dernière modification le : vendredi 5 janvier 2024-03:23:02
Dates et versions
Identifiants
- HAL Id : hal-00483735 , version 1
Citer
Christian Attiogbe, Henri Habrias (Dir.). From Research to Teaching Formal Methods: The B Method (TFM-B'2008). Université de Nantes, pp.147, 2008. ⟨hal-00483735⟩
Collections
82
Consultations
0
Téléchargements