Publications

The CLOSER: Automating resource management in Java

• • Isil Dillig
  • Thomas Dillig
  • et al.
• 2008
• ISMM 2008