Books by Patrick Cousot

Patrick Cousot is a French computer scientist known for co-creating Abstract Interpretation, a powerful method for analyzing programs. His work has had a significant impact on the field of software verification and has been widely influential in both academia and industry. Cousot's writing is precise, technical, and highly respected in the computer science community.