Event Beta

ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings

Name: ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
Start: 2003-06-04
End: 2003-06-06
Location: Turku

BZB 2003ZUM

Date: 2003-06-04/06
Place: Turku, Finland 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/e10dm2c

Proceedings

Title	DOI	Year	Record
ZB 2003: Formal Specification and Development in Z and B	10.1007/3-540-44880-2	2003	Wikidata
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings Lecture Notes in Computer Science 2651	10.1007/3-540-44880-2	2003	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/b2003` · page `https://id.confref.org/data/confref-portal/event/zum2003` · page
Wikidata	`http://www.wikidata.org/entity/Q105942666`
dblp	`https://dblp.org/db/conf/zum/zb2003`
GND	`https://d-nb.info/gnd/10058273-4`

Cite

ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings. confref identifier e10dm2c. https://id.confref.org/event/e10dm2c

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.