Event Beta

International Conference on Abstract State Machines, Alloy, B and Z

Name: International Conference on Abstract State Machines, Alloy, B and Z
Start: 2010-02-22
End: 2010-02-25
Location: Orford

ABZ

Date: 2010-02-22/25
Place: Orford, Canada on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 2
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10028c

Proceedings

Title	DOI	Year	Record
Abstract State Machines, Alloy, B and Z LNCS 5977	10.1007/978-3-642-11811-1	2010	Springer

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/conference/abz2010`

International Conference on Abstract State Machines, Alloy, B and Z. confref identifier e10028c. https://id.confref.org/event/e10028c

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.