Showing 1 - 1 results of 1 for search 'NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany)', query time: 0.03s Refine Results
1
Formal logical methods for system security and correctness
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 ]; ...
Published: c2008.
Superior document: NATO security through science series. D, Information and communication security, v. 14
“...NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness...”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search