Event Beta
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ZUM
- Date
- 2010-02-22/25
- Place
- Orford, Canada on the map
- Series
- International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e10rh8c
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings Lecture Notes in Computer Science 5977 | 10.1007/978-3-642-11811-1 | 2010 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| dblp |
Cite
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. confref identifier e10rh8c. https://id.confref.org/event/e10rh8c
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.