@inproceedings{ DBLP:conf/isola/SrinivasanRKSS04,
  author    = {Harini Srinivasan and Darrell Reimer and Aaron Kershenbaum and Edith Schonberg and Kavitha Srinivas},
  title     = {Static validation of resource management in large Java applications},
  booktitle   = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},
  pages   = {250-252} ,
  year   = {2004}
}

{"_id":{"_str":"5342992d0e946d920a0021e0"},"__v":12,"authorIDs":["545960d5b43425b7720004c2","545bae48b43425b77200158f","5466a4b4bc7d6a460d000a4d","54752c13cb4bf04e39000974"],"author_short":["Srinivasan, H.","Reimer, D.","Kershenbaum, A.","Schonberg, E.","Srinivas, K."],"bibbaseid":"srinivasan-reimer-kershenbaum-schonberg-srinivas-staticvalidationofresourcemanagementinlargejavaapplications-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Harini"],"propositions":[],"lastnames":["Srinivasan"],"suffixes":[]},{"firstnames":["Darrell"],"propositions":[],"lastnames":["Reimer"],"suffixes":[]},{"firstnames":["Aaron"],"propositions":[],"lastnames":["Kershenbaum"],"suffixes":[]},{"firstnames":["Edith"],"propositions":[],"lastnames":["Schonberg"],"suffixes":[]},{"firstnames":["Kavitha"],"propositions":[],"lastnames":["Srinivas"],"suffixes":[]}],"title":"Static validation of resource management in large Java applications","booktitle":"International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings","pages":"250-252","year":"2004","bibtex":"@inproceedings{ DBLP:conf/isola/SrinivasanRKSS04,\n author = {Harini Srinivasan and Darrell Reimer and Aaron Kershenbaum and Edith Schonberg and Kavitha Srinivas},\n title = {Static validation of resource management in large Java applications},\n booktitle = {International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings},\n pages = {250-252} ,\n year = {2004}\n}\n\n\n","author_short":["Srinivasan, H.","Reimer, D.","Kershenbaum, A.","Schonberg, E.","Srinivas, K."],"key":"DBLP:conf/isola/SrinivasanRKSS04","id":"DBLP:conf/isola/SrinivasanRKSS04","bibbaseid":"srinivasan-reimer-kershenbaum-schonberg-srinivas-staticvalidationofresourcemanagementinlargejavaapplications-2004","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/darrell-reimer/?format=bibtex","downloads":0,"keywords":[],"search_terms":["static","validation","resource","management","large","java","applications","srinivasan","reimer","kershenbaum","schonberg","srinivas"],"title":"Static validation of resource management in large Java applications","year":2004,"dataSources":["CDv6CxdysDKiLAkhp"]}