کتاب های Tobias Nipkow

Formal Logical Methods for System Security and Correctness
Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller, 2008
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.), 2006
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Tobias Nipkow, 2002
Concrete Semantics: With Isabelle/HOL
Tobias Nipkow, 2014