Juggrnaut – An Abstract JVM

Posted on October 23, 2014 by
by Jonathan Heinen, Henrik Barthels, Christina Jansen
View PDF
Reference:
Juggrnaut – An Abstract JVM (Jonathan Heinen, Henrik Barthels, Christina Jansen), In Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers, 2011.
Bibtex Entry:
@inproceedings{DBLP:conf/foveoos/HeinenBJ11,
  author    = {Jonathan Heinen and
               Henrik Barthels and
               Christina Jansen},
  title     = {Juggrnaut - An Abstract {JVM}},
  booktitle = {Formal Verification of Object-Oriented Software - International Conference,
               FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  year      = {2011},
  pages     = {142--159},
  crossref  = {DBLP:conf/foveoos/2011},
  url       = {http://dx.doi.org/10.1007/978-3-642-31762-0_10},
  doi       = {10.1007/978-3-642-31762-0_10},
  timestamp = {Tue, 07 Oct 2014 11:52:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/foveoos/HeinenBJ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Bookmark the permalink.