Giacobazzi, Roberto.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
Giacobazzi, Roberto.; SpringerLink (Online service); International Static Analysis Symposium (2004 :)
(Language materials, printed)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
International Static Analysis Symposium (2004 :); Giacobazzi, Roberto.; NetLibrary, Inc.
(Electronic resources)
Analysis, verification and transformation for declarative programming and intelligent systems = essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Lopez-Garcia, Pedro.; Giacobazzi, Roberto.; SpringerLink (Online service); Gallagher, John P.; Hermenegildo, Manuel.
(Electronic resources)