Giacobazzi, Roberto.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Analysis, verification and transformation for declarative programming and intelligent systemsessays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Gallagher, John P.; Giacobazzi, Roberto.; Hermenegildo, Manuel.; Lopez-Garcia, Pedro.; SpringerLink (Online service)
(Electronic resources)
Static analysis11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(1998 :); Giacobazzi, Roberto.; SpringerLink (Online service)
(Electronic resources)