Author:
Bierhoff Kevin,Aldrich Jonathan
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. PLIERS;ACM Transactions on Computer-Human Interaction;2021-08-31
2. Towards generating thread-safe classes automatically;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
3. Obsidian;ACM Transactions on Programming Languages and Systems;2020-09-30
4. Resource Sharing via Capability-Based Multiparty Session Types;Lecture Notes in Computer Science;2019
5. Enabledness-based program abstractions for behavior validation;ACM Transactions on Software Engineering and Methodology;2013-07