Mechanized Verification of Fine-Grained Concurrent Programs

Sergey, I; Nanevski, A; Banerjee, A; (2015) Mechanized Verification of Fine-Grained Concurrent Programs. In: (Proceedings) 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. (pp. pp. 77-87). ACM Green open access

https://ift.tt/2FUJBGe