Conference Papers: Animating the Formalised Semantics of a Java-like Language

[lochbihler11itp]

Andreas Lochbihler, Lukas Bulwahn, Animating the Formalised Semantics of a Java-like Language, Marko van Eekelen and Herman Geuvers and Julien Schmalz and Freek Wiedijk (Ed.), Interactive Theorem Proving, pp. 216--232, Springer, 2011.

Download

[PDF]

[DOI]

Original article available at springerlink.com.

BibTeX

@inproceedings{lochbihler11itp,
  title = {Animating the Formalised Semantics of a Java-like Language},
  booktitle = {Interactive Theorem Proving},
  year = {2011},
  publisher = {Springer},
  volume = {6898},
  pages = {216--232},
  author = {Andreas Lochbihler and Lukas Bulwahn},
  editor = {Marko van Eekelen and Herman Geuvers and Julien Schmalz and Freek Wiedijk},
  series = {LNCS},
  doi = {10.1007/978-3-642-22863-6_17},
}

Authors at the institute

Former Staff Member
Dr. rer. nat. Andreas Lochbihler

Projects

Project

Quis-Custodiet