[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Proving Lock-Freedom Easily and Automatically
Jia, Xiao, Li, Wei, Vafeiadis, ViktorYear:
2015
Language:
english
DOI:
10.1145/2676724.2693179
File:
PDF, 554 KB
english, 2015