-
1
Formal logical methods for system security and correctness
Published 2008“…NATO security through science series. Information and communication security ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
Software safety and security tools for analysis and verification /
Published 2012“…NATO science for peace and security series. Information and communication security ;…”
An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook