Automated Verification of Concurrent Search StructuresDennis Shasha, Thomas Wies og 2 andrePocketEngelskDel av serien Synthesis Lectures on Computer ScienceLegg i handlekurvNettlager