M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic (2002)

by T Nipkow, L C Paulson, Wenzel
Venue:Lecture Notes in Computer Science