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

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.

Engineering & Materials Science