Radek Pelanek

Identifiers

No identifiers captured yet.

Papers (1)

1. Predicate Abstraction with Under-approximation Refinement cs.GT · 2007 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Corina S. Pasareanu 1 shared papers
• Willem Visser 1 shared papers