Roberto Giacobazzi
Roberto Giacobazzi
4 books in the database
Books
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
Co-authored books and collections
Books that list Roberto Giacobazzi among their authors but not as the lead author: co-written works, collections and compilations.