Friends Need a Bit More: Maintaining Invariants over Shared State

Mike Barnett, David A. Naumann

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

74 Scopus citations

Fingerprint

Dive into the research topics of 'Friends Need a Bit More: Maintaining Invariants over Shared State'. Together they form a unique fingerprint.

Computer Science