Willem Visser

Identifiers

No identifiers captured yet.

Papers (2)

1. SymInfer: Inferring Program Invariants using Symbolic States cs.SE · 2019 · author #3
2. Predicate Abstraction with Under-approximation Refinement cs.GT · 2007 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Corina S. Pasareanu 1 shared papers
• Matthew B. Dwyer 1 shared papers
• Radek Pelanek 1 shared papers
• ThanhVu Nguyen 1 shared papers