Participants: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany) [ ]; ProQuest (Firm) [ ]; Grumberg, Orna. [ TeilnehmendeR ]; Nipkow, Tobias, 1958- [ TeilnehmendeR ]; Pfaller, Christian. [ TeilnehmendeR ]; ...
Publicerad: c2008.
Superior document: NATO security through science series. D, Information and communication security, v. 14

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 ]; ...
Publicerad: 2012.
Superior document: NATO science for peace and security series. Sub-series D, Information and communication security, v. 33