Kasper Svendsen

Identifiers

No identifiers captured yet.

Papers (1)

1. Trace Properties from Separation Logic Specifications cs.PL · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Guilhem Jaber 1 shared papers
• Lars Birkedal 1 shared papers
• Nikos Tzevelekos 1 shared papers
• Thomas Dinsdale-Young 1 shared papers