Lazy abstraction with interpolants (2006)

Cached

Download Links

by K. L. Mcmillan
Venue:In Proc. CAV, LNCS 4144
Citations:75 - 6 self