Leuschel, M. (2009). Towards Demonstrably Correct Compilation of Java Byte Code. Lecture Notes in Computer Science ; Formal Methods for Components and Objects ; page 119-138 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642041662 9783642041679. https://doi.org/10.1007/978-3-642-04167-9_7
Chicago-Zitierstil (17. Ausg.)Leuschel, Michael. "Towards Demonstrably Correct Compilation of Java Byte Code." Lecture Notes in Computer Science ; Formal Methods for Components and Objects ; Page 119-138 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642041662 9783642041679 2009. https://doi.org/10.1007/978-3-642-04167-9_7.
MLA-Zitierstil (9. Ausg.)Leuschel, Michael. "Towards Demonstrably Correct Compilation of Java Byte Code." Lecture Notes in Computer Science ; Formal Methods for Components and Objects ; Page 119-138 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642041662 9783642041679, 2009, https://doi.org/10.1007/978-3-642-04167-9_7.