ISBN 1586038435 books & textbook
Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security)
Orna Grumberg Orna Grumberg Tobias Nipkow Christian Pfaller
IOS Press /2008-03-15 Hardcover / 332 Pages
isbn-10: 1586038435 / isbn-13: 9781586038434
