Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2010

Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

Résumé

no abstract

Dates et versions

hal-01224643 , version 1 (04-11-2015)

Identifiants

Citer

Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. ABZ, 5977, Springer, 2010, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-11811-1⟩. ⟨hal-01224643⟩

Collections

CNRS LACL UPEC
34 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More