Using Yices as an automated solver in Isabelle/HOL (2008)

by Levent Erkök , John Matthews
Venue:In Automated Formal Methods’08
Citations:3 - 0 self