Event Beta

International Conference of Z Users

Name: International Conference of Z Users
Start: 1998-09-24
End: 1998-09-26
Location: Berlin

ZUM

Date: 1998-09-24/26
Place: Berlin, Germany on the map
Series: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
Edition: 11
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e10020w

Proceedings

Title	DOI	Year	Record
B’98: Recent Advances in the Development and Use of the B Method LNCS 1393	10.1007/bfb0053349	1998	Springer
ZUM ’98: The Z Formal Specification Notation LNCS 1493	10.1007/b68208	1998	Springer

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

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

International Conference of Z Users. confref identifier e10020w. https://id.confref.org/event/e10020w

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