Static validation of resource management in large Java applications.
Harini Srinivasan, Darrell Reimer, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas
VenueCISoLA
Year2004
ProceedingsISoLA (Preliminary proceedings)
DBLP recordconf/isola/SrinivasanRKSS04 ↗
Browse the full ISoLA paper archive.