David Monniaux

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

Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani · 2017