We will be undergoing system maintenance on May 16th, 2024 from 2 am through 6 am central time. The system will be unavailable during that time. Please plan accordingly.
Patrick Cousot
Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.
Books
Principles of Abstract Interpretation
9780262361514
