Author:
Feldman Steven,LaBorde Pierre,Dechev Damian
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent Correctness in Vector Space;Lecture Notes in Computer Science;2021
2. CCSpec: A Correctness Condition Specification Tool;2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC);2019-05
3. A wait-free multi-producer multi-consumer ring buffer;ACM SIGAPP Applied Computing Review;2015-10-13