Event Beta

ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings

Name: ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings
Start: 2000-08-29
End: 2000-09-02
Location: York

BZB 2000ZUM

Date: 2000-08-29 to 2000-09-02
Place: York, 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/e10dm3a

Proceedings

Title	DOI	Year	Record
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings Lecture Notes in Computer Science 1878	10.1007/3-540-44525-0	2000	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/b2000` · page `https://id.confref.org/data/confref-portal/event/zum2000` · page
Wikidata	`http://www.wikidata.org/entity/Q105942669`
dblp	`https://dblp.org/db/conf/zum/zb2000`
GND	`https://d-nb.info/gnd/16028217-2`

Cite

ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. confref identifier e10dm3a. https://id.confref.org/event/e10dm3a

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.