Critical Systems Validation and Verification with CSP and FDR.

Michael Goldsmith, Irfan Zakiuddin

Browse the full FM paper archive.