Verifying linearizability with Hindsight
- Peter W. O'Hearn
- , Noam Rinetzky
- , Martin T. Vechev
- , Eran Yahav
- , Greta Yorsh
- Queen Mary University of London
- IBM
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
64
Scopus
citations