Security management via Z and CSP

Bibliografische gegevens
Hoofdauteurs: Simpson, A, Davies, J, Woodcock, J
Formaat: Conference item
Gepubliceerd in: Springer Series in Discrete Mathematics and Theoretical Computer Science 1998