Alessandro Cimatti
Alessandro Cimatti
3 ספרים במאגר
ספרים
Theory and Applications of Satisfiability Testing – SAT 2012Alessandro Cimatti
Theory and Applications of Satisfiability Testing – SAT 2012
Alessandro Cimatti · 2012
Formal Methods for Industrial Critical SystemsAlessandro Cimatti
Formal Methods for Industrial Critical Systems
Alessandro Cimatti · 2023
Software Engineering and Formal MethodsAlessandro Cimatti
Software Engineering and Formal Methods
Alessandro Cimatti · 2017
ספרים משותפים ואוספים
ספרים שבהם Alessandro Cimatti מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.