Formal Logical Methods for System Security and Correctness by Orna Grumberg, Tobias Nipkow, Christian Pfaller
IOS Press | 2008-03-15 | ISBN: 1586038435 | 332 pages | PDF | 1,9 MB
IOS Press | 2008-03-15 | ISBN: 1586038435 | 332 pages | PDF | 1,9 MB