Patrick Cousot

Patrick Cousot

3 books in the database

Books

Static AnalysisPatrick Cousot

Static Analysis

Patrick Cousot · 2001

Principles of Abstract InterpretationPatrick Cousot

Principles of Abstract Interpretation

Patrick Cousot · 2021

Algorithmique et programmation en pascalPatrick Cousot

Algorithmique et programmation en pascal

Patrick Cousot · 1998

Co-authored books and collections

Books that list Patrick Cousot among their authors but not as the lead author: co-written works, collections and compilations.

Static Analysis and Verification of Aerospace Software by Abstract InterpretationJulien Bertrane

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane · 2015