Fingerprint
Dive into the research topics of 'Modular Verification of Linked Lists with Views via Separation Logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Modular Verification of Linked Lists with Views via Separation Logic
Jonas Braband Jensen, Lars Birkedal, Peter Sestoft
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review