Spring til hovednavigation Spring til søgning Spring til hovedindhold

Verification of Snapshotable Trees using Access Permissions and Typestate

  • Hannes Mehnert
  • , Jonathan Aldrich
    • Carnegie Mellon University

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Verification of Snapshotable Trees using Access Permissions and Typestate'. Sammen danner de et unikt fingeraftryk.
    Sorter

    Keyphrases

    Computer Science