Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, Jan Vitek. Atomicity Refinement for Verified Compilation. ACM Transactions on Programming Languages and Systems, 36(2):6, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.