Event Beta

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

Name: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Start: 2016-05-23
End: 2016-05-27
Location: Linz

ABZ

Date: 2016-05-23/27
Place: Linz, Austria on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 5
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e1002b6

Proceedings

Title	DOI	Year	Record
Abstract State Machines, Alloy, B, TLA, VDM, and Z LNCS 9675	10.1007/978-3-319-33600-8	2016	Springer

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/abz2016`
GND	`https://d-nb.info/gnd/1102221813`

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

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