Combining CSP and B for Specification and Property Verification.

Michael J. Butler, Michael Leuschel

Browse the full FM paper archive.