检索结果 - Grumberg, Orna
-
1
Logics and languages for reliability and security
出版 2010其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
电子 电子书 -
2
Software systems safety /
出版 2014其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
电子 电子书 -
3
Formal logical methods for system security and correctness
出版 2008其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
电子 会议录 电子书 -
4
Software safety and security tools for analysis and verification /
出版 2012其他作者: “...Grumberg, Orna...”
An electronic book accessible through the World Wide Web; click to view
电子 会议录 电子书