Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP.

Graeme Smith, John Derrick

Browse the full ICFEM paper archive.