Author:
Cousot Patrick,Cousot Radhia
Cited by
847 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Pyramid Of (Formal) Software Verification;Lecture Notes in Computer Science;2024-09-13
2. Abstract Interpreters: A Monadic Approach to Modular Verification;Proceedings of the ACM on Programming Languages;2024-08-15
3. Compiling with Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-06-20
4. Causal analysis of positive Reaction Systems;International Journal on Software Tools for Technology Transfer;2024-06-19
5. Limits and Difficulties in the Design of Under-Approximation Abstract Domains;ACM Transactions on Programming Languages and Systems;2024-06-09