Xavier Rival

Xavier Rival

2 ספרים במאגר

ספרים

Introduction to Static AnalysisXavier Rival

Introduction to Static Analysis

Xavier Rival · 2020

Static AnalysisXavier Rival

Static Analysis

Xavier Rival · 2016

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

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

Verification, Model Checking, and Abstract InterpretationKenneth McMillan

Verification, Model Checking, and Abstract Interpretation

Kenneth McMillan · 2014