MPG.eBooks - Author Search Results

Cover Image

1

Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

by Giacobazzi, Roberto
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Giacobazzi, Roberto...”

Cover Image

3

Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Giacobazzi, Roberto...”

Cover Image

4

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Published 2023

Springer Nature Switzerland

Other Authors: “...Giacobazzi, Roberto...”