Solving Quantified Verification Conditions using Satisfiability Modulo Theories (0)

by Y Ge, C Barrett, C Tinelli
Venue:Annals of Mathematics and Artificial Intelligence