- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Giacobazzi, Roberto

Showing 1 - 5 of 5 results

Search Results

Cover image for Static analysis

Static analysis

by International Static Analysis Symposium
2004
Format: Electronic

Location
Access Content Online

Cover image for Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

by Giacobazzi, Roberto
2025
1st ed. 2025
Format: Electronic

Location
Access Content Online

Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

by Lopez-Garcia, Pedro
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

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

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

by Giacobazzi, Roberto
2013
Format: Electronic

Location
Access Content Online

Cover image for Static analysis

Static analysis

by International Static Analysis Symposium
2004
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76 .I5733 2004	✔ Available