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 : mercredi 24 janvier 2024-09:54:22
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
63
Consultations
0
Téléchargements