Media type: E-Article Title: Interactive Theorem Proving: Animating the Formalised Semantics of a Java-Like Language Contributor: Lochbihler, Andreas; Bulwahn, Lukas Published: Springer Berlin Heidelberg, 2011 Published in: Interactive Theorem Proving (2011), Seite 216-232 Language: Not determined DOI: 10.1007/978-3-642-22863-6_17 ISBN: 9783642228629; 9783642228636 ISSN: 0302-9743; 1611-3349 Origination: Footnote: