Roberto Giacobazzi
Roberto Giacobazzi
4 ספרים במאגר
ספרים
Verification, Model Checking, and Abstract InterpretationRoberto Giacobazzi
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi · 2013
Static AnalysisRoberto Giacobazzi
Static Analysis
Roberto Giacobazzi · 2004
POPL'13Roberto Giacobazzi
POPL'13
Roberto Giacobazzi · 2013
Proceedings of the 7th Workshop on Programming Languages Meets Program VerificationRoberto Giacobazzi
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification
Roberto Giacobazzi · 2013
ספרים משותפים ואוספים
ספרים שבהם Roberto Giacobazzi מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.