Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Roberto Giacobazzi | lit.salon

Author

Roberto Giacobazzi

5 works

2004–2023 across 5 dated works

No biography is available yet.

Start with

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science)2004
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings2013
POPL'13: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages2013
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification2013

Books

5 works

Featured (5)Featured (5)All (5)All (5)

Search booksSort books

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings2013
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (Lecture Notes in Computer Science)2004
2 editions
shelves
0
reviews
0
lists
0
quotes
0
POPL'13: Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages2013
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification2013
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday2023
With Pedro Lopez-Garcia, Gallagher, John P.
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Roberto Giacobazzi.

The conversation is still open.

There is no public salon activity to show for Roberto Giacobazzi yet.