by Jonathan Heinen, Henrik Barthels, Christina Jansen
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} }