Publications of T. Nipkow
2002
Isabelle/HOL - A Proof Assistant for Higher-Order Logic, Springer-Verlag Heidelberg, 2002 | , and ,
[URL] |
Isabelle/HOL - A Proof Assistant for Higher-Order Logic, Springer-Verlag Heidelberg, 2002 | , and ,
[URL] |