Communication Dans Un Congrès
Année : 2011
Vincent Cocquempot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00838049
Soumis le : lundi 24 juin 2013-16:15:54
Dernière modification le : mardi 3 décembre 2024-15:40:41
Dates et versions
Identifiants
- HAL Id : hal-00838049 , version 1
Citer
Simon Collart-Dutilleul, Philippe Bon, Dorian Petit. A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification. LINDI 2011, 2011, Budapest, Hungary. pp.CDROM. ⟨hal-00838049⟩
Collections
74
Consultations
0
Téléchargements