Automated Verification of Concurrent Search Structures
de Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies
de Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies
Morgan & Claypool Publishers · inglés · ISBN 9781636391304
Morgan & Claypool Publishers · inglés · ISBN 9781636391298
Morgan & Claypool Publishers · inglés · ISBN 9781636391281