Patrick Cousot -

Not registered as user yet

Name:Patrick Cousot

Affiliation:New York University

Contributions

2024

POPL

Author of Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation within the POPL-track