Fingerprint
Dive into the research topics of 'Formalized Verification of Snapshotable Trees: Separation and Sharing'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Formalized Verification of Snapshotable Trees: Separation and Sharing
Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review