Security management via Z and CSP

Security management via Z and CSP

Bibliographic Details
Main Authors: Simpson, A, Davies, J, Woodcock, J
Format: Conference item
Published: Springer Series in Discrete Mathematics and Theoretical Computer Science 1998

Similar Items