Automatic abstraction without counterexamples. (2003)

by K L McMillan, N Amla
Venue:In Garavel, H., & Hatcliff, J. (Eds.), Proceedings of TACAS’03,