Automated Verification of Concurrent Search Structures
Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies
- Anthology ID:
- DBLP:series/synthesis/2021Krishna
- Volume:
- 2021
- Year:
- 2021
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S01089ED1V01Y202104CSL013
- DOI:
- 10.2200/S01089ED1V01Y202104CSL013
- DBLP:
- series/synthesis/2021Krishna
