Combination of Isabelle/HOL with automatic tools (2005)

by Sergey Tverdyshev
Venue:Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005. Volume 3717 of Lecture Notes in Computer Science