Patrick Cousot

Patrick Cousot

3 ספרים במאגר

ספרים

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

ספרים משותפים ואוספים

ספרים שבהם Patrick Cousot מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Static Analysis and Verification of Aerospace Software by Abstract InterpretationJulien Bertrane

Static Analysis and Verification of Aerospace Software by Abstract Interpretation

Julien Bertrane · 2015