Search Results - Information Science*
-
1
Formal logical methods for system security and correctness
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
2
Logics and languages for reliability and security
Published 2010An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
3
Software safety and security tools for analysis and verification /
Published 2012An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
4
Software systems safety /
Published 2014An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
5
Logics and languages for reliability and security
Published 2010An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Software safety and security tools for analysis and verification /
Published 2012An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
7
Software systems safety /
Published 2014An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
8
Formal logical methods for system security and correctness
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook