Combination of Isabelle/HOL with automatic tools (2005)

by S Tverdyshev
Venue:FroCos 2005. LNCS (LNAI