Security management via Z and CSP

Security management via Z and CSP

Podrobná bibliografie
Hlavní autoři: Simpson, A, Davies, J, Woodcock, J
Médium: Conference item
Vydáno: Springer Series in Discrete Mathematics and Theoretical Computer Science 1998

Podobné jednotky