BibTeX record books/sp/Stark2001

download as .bib file

@book{DBLP:books/sp/Stark2001,
  author       = {Robert F. St{\"{a}}rk and
                  Joachim Schmid and
                  Egon B{\"{o}}rger},
  title        = {Java and the Java Virtual Machine: Definition, Verification, Validation},
  publisher    = {Springer},
  year         = {2001},
  timestamp    = {Thu, 10 Jul 2014 15:24:25 +0200},
  biburl       = {https://dblp.org/rec/books/sp/Stark2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics