Formal Logical Methods for System Security and Correctness
NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf, Germany)
₹2,647
Author
Books by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf
Showing 1–1 of 1 books