Publisher
Springer Berlin Heidelberg
Cited by
95 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Design by Contract for Deep Learning APIs;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Higher-Order Leak and Deadlock Free Locks;Proceedings of the ACM on Programming Languages;2023-01-09
3. Further Lessons from the JML Project;The Logic of Software. A Tasting Menu of Formal Methods;2022
4. Coverage Criteria for State-Based Testing;Research Anthology on Agile Software, Software Development, and Testing;2022
5. Rich specifications for Ethereum smart contract verification;Proceedings of the ACM on Programming Languages;2021-10-20