Participants: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany) [ ]; NATO Emerging Security Challenges Division. [ ]; ProQuest (Firm) [ ]; Nipkow, Tobias, 1958- [ TeilnehmendeR ]; Grumberg, Orna. [ TeilnehmendeR ]; ...
Published: 2012.
Superior document: NATO science for peace and security series. Sub-series D, Information and communication security, v. 33