Alexander Malkis, Anindya Banerjee. Verification of software barriers. In J. Ramanujam, P. Sadayappan, editors, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012. pages 313-314, ACM, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.