Lazy abstraction with interpolants (2006)

by K L McMillan
Venue:In CAV