> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Interactive Theorem Proving: Animating the Formalised Semantics of a Java-Like Language Beteiligte: Lochbihler, Andreas; Bulwahn, Lukas Erschienen: Springer Berlin Heidelberg, 2011 Erschienen in: Interactive Theorem Proving (2011), Seite 216-232 Sprache: Nicht zu entscheiden DOI: 10.1007/978-3-642-22863-6_17 ISBN: 9783642228629; 9783642228636 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: