T. Nipkow
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
The Isabelle Framework
M. Wenzel and others (2008) · Springer Berlin Heidelberg
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
T. Nipkow and others (2002) · Springer Berlin Heidelberg