Home › Authors › NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf, Germany) 👤 NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf, Germany) 1 book Books by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness (2007 Marktoberdorf, Germany) Formal logical methods for system security and correctness 2008
