Skip to main navigation Skip to search Skip to main content

Verification of Snapshotable Trees using Access Permissions and Typestate

  • Hannes Mehnert
  • , Jonathan Aldrich

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Verification of Snapshotable Trees using Access Permissions and Typestate'. Together they form a unique fingerprint.
    Sort by

    Keyphrases

    Computer Science