 |
Directions of work or proceedings
Special issue "Abstract State Machines, Alloy, B and Z; Selected papers from ABZ 2010"
Steve Reeves
Author
1
GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke] (2500, boulevard de l'Université
Sherbrooke (Québec) J1K 2R1 - Canada)
- Département d'informatique [Sherbrooke] (2500, boulevard de l'Université Sherbrooke (Québec) J1K 2R1 - Canada)
- Université de Sherbrooke [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
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01224628
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:16 PM
Last modification on : Friday, October 4, 2019 - 1:20:47 AM
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:16 PM
Last modification on : Friday, October 4, 2019 - 1:20:47 AM
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
