A Set of Design-oriented Scientific Tools to Assist Abstract B Machine Specification - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011
Fichier non déposé

Dates et versions

hal-00838049 , version 1 (24-06-2013)

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⟩
74 Consultations
0 Téléchargements

Partager

More