Sciweavers

POPL
2002
ACM

Lazy abstraction

14 years 11 months ago
Lazy abstraction
Grégoire Sutre, Ranjit Jhala, Rupak Majumda
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2002
Where POPL
Authors Grégoire Sutre, Ranjit Jhala, Rupak Majumdar, Thomas A. Henzinger
Comments (0)