Event Beta

International Conference of B and Z Users

Name: International Conference of B and Z Users
Start: 2000-08-29
End: 2000-09-02
Location: York

Date: 2000-08-29 to 2000-09-02
Place: York, United Kingdom on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 1
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10021t

Proceedings

Title	DOI	Year	Record
Abstract State Machines - Theory and Applications LNCS 1912	10.1007/3-540-44518-8	2000	Springer
ZB 2000: Formal Specification and Development in Z and B LNCS 1878	10.1007/3-540-44525-0	2000	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/abz2000`
GND	`https://d-nb.info/gnd/10009333-4`

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

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