Abstraction for falsification (0)

by T Ball, O Kupferman, G Yorsh
Venue:In CAV (2005