Security management via Z and CSP
A. C. Simpson‚ J. W. Davies and J. C. P. Woodcock
Book Title
Proceedings of Formal Methods Pacific '98‚ Canberra‚ Australia‚ 29 September – 2 October‚ 1998
Pages
334–351
Publisher
Springer Series in Discrete Mathematics and Theoretical Computer Science
Year
1998