Sciweavers

AGP
2010
IEEE

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

14 years 2 months ago
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2010
Where AGP
Authors Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato
Comments (0)