1
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [E-Book] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Other Personal Name(s): “...Giacobazzi, Roberto...”

Full text 
Favorites
Saved in:
2
Verification, Model Checking, and Abstract Interpretation [E-Book] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Other Personal Name(s): “...Giacobazzi, Roberto....”

Full text 
Favorites
Saved in:
3
Static Analysis [E-Book] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings /
Other Personal Name(s): “...Giacobazzi, Roberto....”

Full text 
Favorites
Saved in: