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