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

Didier Bert (Editor), Jonathan Bowen (Editor), Steve King (Editor), Marina Walden (Editor)

Research output: Book/Journal/ReportEdited Book/Edited JournalScientificpeer-review

Abstract

These proceedings record the papers presented at the third International Conference of B and Z Users (ZB2003) held in Turku, Finland, June 4-6 2003. B and Z are two important formal methods that share a common conceptual origin; they are leading approaches in industry and academia for the specification and development (using formal refinement) of computer-based systems.
Original languageEnglish
Place of PublicationHeidelberg
PublisherSpringer-Verlag
ISBN (Electronic)3-540-40253-5
ISBN (Print)3-540-44880-2
Publication statusPublished - 2003
MoE publication typeC2 Edited books

Publication series

NameLNCS
Volume2651
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'ZB2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings'. Together they form a unique fingerprint.

Cite this