DBLP Record 'conf/paste/MaessenSG01'

BibTeX

@inproceedings{DBLP:conf/paste/MaessenSG01,
  author    = {Jan-Willem Maessen and
               Vivek Sarkar and
               David Grove},
  title     = {Program analysis for safety guarantees in a Java virtual
               machine written in Java},
  booktitle = {PASTE},
  year      = {2001},
  pages     = {62-65},
  ee        = {http://doi.acm.org/10.1145/379605.379668},
  crossref  = {DBLP:conf/paste/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/paste/2001,
  title     = {Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on
               Program Analysis For Software Tools and Engineering, PASTE'01,
               Snowbird, Utah, USA, June 18-19, 2001},
  publisher = {ACM},
  year      = {2001},
  isbn      = {1-58113-413-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}