Event Beta

International Conference of B and Z Users

Name: International Conference of B and Z Users
Start: 2003-06-04
End: 2003-06-06
Location: Turku

Date: 2003-06-04/06
Place: Turku, Finland on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 3
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10023p

Proceedings

Title	DOI	Year	Record
Abstract State Machines 2003 LNCS 2589	10.1007/3-540-36498-6	2003	Springer
ZB 2003: Formal Specification and Development in Z and B LNCS 2651	10.1007/3-540-44880-2	2003	Springer

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

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

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

International Conference of B and Z Users. confref identifier e10023p. https://id.confref.org/event/e10023p

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