Reasoning about correctness of transactional memorySaar, AndriSixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 20112011 / 1 p

Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 20112011 https://www.ester.ee/record=b2675473*est