Automated Verification of Concurrent Search StructuresSiddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · First published 2021Open the Tome
Automated Verification of Concurrent Search StructuresKrishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas · First published 2021Open the Tome
