John Derrick;Eerke A. Boiten
-;-
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design