Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Résumé
no abstract
Proceedings/Recueil Des Communications
Année : 2010
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224643
Soumis le : mercredi 4 novembre 2015-22:50:28
Dernière modification le : mercredi 3 avril 2024-11:42:03
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⟩
43
Consultations
0
Téléchargements