Bibtex

Christoph Bockisch, Gabriele Taentzer, Nebras Nassar, Lukas Wydra, Java Bytecode Verification with OCL Why, How and Whenc

@article{JOT:issue_2020_03/article13,
  author = {<a href="/contents.html?query=Bockisch">Christoph  Bockisch</a> and <a href="/contents.html?query=Taentzer">Gabriele  Taentzer</a> and <a href="/contents.html?query=Nassar">Nebras   Nassar</a> and <a href="/contents.html?query=Wydra">Lukas  Wydra</a>},
  title = {Java Bytecode Verification with OCL Why, How and Whenc},
  journal = {Journal of Object Technology},
  volume = {19},
  number = {3},
  issn = {1660-1769},
  year = {2020},
  month = oct,
  editor = {<a href="/contents.html?query=Hamann">Lars Hamann</a> and <a href="/contents.html?query=Paige">Richard Paige</a> and <a href="/contents.html?query=Pierantonio">Alfonso Pierantonio</a> and <a href="/contents.html?query=Rumpe">Bernhard Rumpe</a> and <a href="/contents.html?query=Vallecillo">Antonio Vallecillo</a>},
  note = {Special Issue dedicated to Martin Gogolla on his 65th Birthday },
  pages = {3:1-16},
  doi = {10.5381/jot.2020.19.3.a13},
  url = {http://www.jot.fm/contents/issue_2020_03/article13.html}
}

Back