David Monniaux1976 · 1 obras en el catálogoFrench computer scientistObrasVerification, Model Checking, and Abstract Interpretation