Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cousot, Patrick
2024.
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. POPL,
p.
175.