-
1
Formal logical methods for system security and correctness
Published 2008Subjects: “…Computer security Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
Formal logical methods for system security and correctness
Published 2008Subjects: “…Computer security Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
3
Software safety and security tools for analysis and verification /
Published 2012Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
4
Software safety and security tools for analysis and verification /
Published 2012Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
5
Software systems safety /
Published 2014Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Software systems safety /
Published 2014Subjects: An electronic book accessible through the World Wide Web; click to view
Electronic eBook