Corina S. Pasareanu, Radek Pelánek, Willem Visser. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science, 3(1), 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.