Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010"
Résumé
no abstract
Ouvrages
Année : 2013
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224628
Soumis le : mercredi 4 novembre 2015-22:50:16
Dernière modification le : mercredi 3 avril 2024-11:42:03
Dates et versions
Identifiants
- HAL Id : hal-01224628 , version 1
Citer
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (Dir.). Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010". Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves. Elsevier, 2013. ⟨hal-01224628⟩
50
Consultations
0
Téléchargements