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/Report › Edited Book/Edited Journal › Scientific › peer-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.

Keyphrases

Computer Science