Security management via Z and CSP
A. C. Simpson‚ J. W. Davies and J. C. P. Woodcock
Details
| 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 |
Links
Related pages
|
People |