Releases med Roberto Giacobazzi

Cover for Roberto Giacobazzi · Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2013 edition] (2013)
Pocketbok
2013 edition
Verification, Model Checking, an...
Roberto Giacobazzi
Cover for Roberto Giacobazzi · Static Analysis: 11th International Symposium, Sas 2004, Verona, Italy August 26-28, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) (2004)
Pocketbok
Static Analysis: 11th Internatio...
Roberto Giacobazzi