Reasoning about correctness of transactional memory
Saar, Andri
Sixteenth Estonian Winter School in Computer Science (EWSCS'11) : Park Hotel Palmse, Lahemaa, Estonia : February 27 - March 4, 2011
2011
/
1 p