HOME | ENGLISH | IMPRESSUM | KIT

Konferenzartikel: 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

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr. rer. nat. Andreas Lochbihler

Projekte

Projekt
Quis-Custodiet