ISO-690 (author-date, English)

GAWKOWSKI, Marek Jerzy, BLECH, Jan Olaf und POETZSCH-HEFFTER, Arnd, 2006. Certifying Compilers based on Formal Translation Contracts. Kaiserslautern: Technische Universität Kaiserslautern, Fachbereich Informatik.

Elsevier - Harvard (with titles)

Gawkowski, M.J., Blech, J.O., Poetzsch-Heffter, A., 2006. Certifying Compilers based on Formal Translation Contracts, Interne Berichte. Technische Universität Kaiserslautern, Fachbereich Informatik, Kaiserslautern. https://doi.org/urn:nbn:de:hbz:386-kluedo-14698

American Psychological Association 7th edition

Gawkowski, M. J., Blech, J. O., & Poetzsch-Heffter, A. (ca. 2006). Certifying Compilers based on Formal Translation Contracts [Cd]. In Interne Berichte. Technische Universität Kaiserslautern, Fachbereich Informatik. https://doi.org/urn:nbn:de:hbz:386-kluedo-14698

Springer - Basic (author-date)

Gawkowski MJ, Blech JO, Poetzsch-Heffter A (2006) Certifying Compilers based on Formal Translation Contracts. Technische Universität Kaiserslautern, Fachbereich Informatik, Kaiserslautern

Juristische Zitierweise (Stüber) (Deutsch)

Gawkowski, Marek Jerzy/ Blech, Jan Olaf/ Poetzsch-Heffter, Arnd, Certifying Compilers based on Formal Translation Contracts, Kaiserslautern 2006.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.