Isabelle/HOL — A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS (2002)

by Tobias Nipkow, Lawrence C Paulson, Markus Wenzel
Venue:174 [NYS07] [ORS92] [Pet07] [Pos80