Languages
Jump To : Overview | Titles | Subjects

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)
 
 
Change password
Login