Automated Verification of Concurrent Search Structures

Author

Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies

Publisher

Synthesis Collection of Technology (R0)

Subject

Mathematics, Computer Science

Year

2021

ISBN

9783031018060