Event Beta

International Conference of B and Z Users

Name: International Conference of B and Z Users
Start: 2005-04-13
End: 2005-04-15
Location: Guildford

Date: 2005-04-13/15
Place: Guildford, United Kingdom on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 4
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10025j

Proceedings

Title	DOI	Year	Record
ZB 2005: Formal Specification and Development in Z and B LNCS 3455	10.1007/b135596	2005	Springer

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

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

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

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