Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

SCHMIDT-SCHAUSS, Manfred, SABEL, David, NIEHREN, Joachim und SCHWINGHAMMER, Jan, 2013. Observational program calculi and the correctness of translations. Frankfurt am Main: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, 52.

Elsevier - Harvard (with titles)

Schmidt-Schauß, M., Sabel, D., Niehren, J., Schwinghammer, J., 2013. Observational program calculi and the correctness of translations, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik, Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main. https://doi.org/urn:nbn:de:hebis:30:3-336073

American Psychological Association 7th edition

Schmidt-Schauß, M., Sabel, D., Niehren, J., & Schwinghammer, J. (ca. 2013). Observational program calculi and the correctness of translations [Cd]. In Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30:3-336073

Springer - Basic (author-date)

Schmidt-Schauß M, Sabel D, Niehren J, Schwinghammer J (2013) Observational program calculi and the correctness of translations. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt am Main

Juristische Zitierweise (Stüber) (Deutsch)

Schmidt-Schauß, Manfred/ Sabel, David/ Niehren, Joachim/ Schwinghammer, Jan, Observational program calculi and the correctness of translations, Frankfurt am Main 2013.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.