Formalized Verification of Snapshotable Trees: Separation and Sharing

Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Formalized Verification of Snapshotable Trees: Separation and Sharing'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science