Severin M\"unger

Identifiers

No identifiers captured yet.

Papers (1)

1. Permission Inference for Array Programs cs.PL · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexander J. Summers 1 shared papers
• Caterina Urban 1 shared papers
• J\'er\^ome Dohrau 1 shared papers
• Peter M\"uller 1 shared papers