NATO science for peace and security series. Sub-series D, Information and communication security, v. 33
NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.
Genel Not:
"Published in cooperation with NATO Emerging Security Challenges Division."
"Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso.
