Proof-Like Counter-Examples (2003)

by A Gurfinkel, M Chechik
Venue:Proc. Int’l Conf. Tools and Algorithms for the Construction and Analysis of Systems