Event Beta

ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Name: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Start: 2005-04-13
End: 2005-04-15
Location: Guildford

ZUM

Date: 2005-04-13/15
Place: Guildford, United Kingdom on the map
Series: Formal Specification and Development in B (B), International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e120fze

Proceedings

Title	DOI	Year	Record
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings Lecture Notes in Computer Science 3455	10.1007/b135596	2005	dblp

Sources

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/zum2005` · page
dblp	`https://dblp.org/db/conf/zum/zb2005`

Cite

ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. confref identifier e120fze. https://id.confref.org/event/e120fze

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

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