Malte Schwerhoff

Identifiers

No identifiers captured yet.

Papers (1)

1. Automatic Verification of Iterated Separating Conjunctions using Symbolic Execution cs.PL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander J. Summers 1 shared papers
• Peter M\"uller 1 shared papers