 |
Directions of work or proceedings
Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010"
Marc Frappier
1
Uwe Glässer
2
Sarfraz Khurshid
3
Régine Laleau
4
Steve Reeves
1
GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
UdeS - Département d'informatique [Sherbrooke]
Steve Reeves
Author
1
GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke] (Département d’informatique
2500, boulevard de l'Université
Sherbrooke, Québec J1K 2R1 - Canada)
- UdeS - Département d'informatique [Sherbrooke] (Faculté des sciences - 2500, boulevard de l'Université Sherbrooke, Québec, J1K 2R1 - Canada)
- UdeS - Faculté des sciences [Sherbrooke] (2500, boul. de l'Université, Sherbrooke, Québec J1K 2R1 - Canada)
- UdeS - Université de Sherbrooke (2500 boul. de l'Université, Sherbrooke, Québec J1K 2R1 - Canada)
- UdeS - Faculté des sciences [Sherbrooke] (2500, boul. de l'Université, Sherbrooke, Québec J1K 2R1 - Canada)
2
Software Technology Lab, School of Computing Science (Burnaby - Canada)
- SFU.ca - Simon Fraser University (8888 University Drive, Burnaby, B.C. Canada V5A 1S6 - Canada)
3
University of Texas at Austin [Austin] (1 University Station Austin, Texas 78712 - United States)
4
LACL - Laboratoire d'Algorithmique Complexité et Logique (Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2673 (France)
Abstract : no abstract
Document type :
Directions of work or proceedings
Domain :
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01224628
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:16 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:16 PM
Last modification on : Wednesday, February 10, 2021 - 12:30:02 PM
Identifiers
- HAL Id : hal-01224628, version 1
Citation
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. 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⟩
Metrics
Record views