-
1
-
2
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 -
3
Engineering dependable software systems /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook -
4
Robot framework test automation /
Published 2013An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
5
The software audit guide /
Published 2009An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
6
Dependable software systems engineering /
Published 2015An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
7
Principles of model checking
Published 2008An electronic book accessible through the World Wide Web; click to view
Electronic eBook -
8
Verification of infinite-state systems with applications to security
Published 2006An electronic book accessible through the World Wide Web; click to view
Electronic Conference Proceeding eBook