DMCA

Combination of Isabelle/HOL with automatic tools (2005)

Cached

Download Links

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