@techreport{KleinN04,
author={Gerwin Klein and Tobias Nipkow},
title={A Machine-Checked Model for a {Java}-Like
Language, Virtual Machine and Compiler},
institution={National ICT Australia},
address={Sydney},
month=mar,
year=
2004}
@
article{KleinN-TOPLAS,
author={Gerwin Klein and Tobias Nipkow},
title={A Machine-Checked Model for a {Java}-Like
Language, Virtual Machine and Compiler},
journal=TOPLAS,
volume = {
28},
number = {
4},
year = {
2006},
pages = {
619--
695},
doi = {
http://doi.acm.org/10.
1145/
1146809.
1146811}}
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet am 2026-11-04)
¤
*© Formatika GbR, Deutschland
