Formalized Verification of Snapshotable Trees: Separation and Sharing

by Hannes Mehnert , Filip Sieczkowski , Lars Birkedal , Peter Sestoft
Citations:4 - 2 self