ISO-690 (author-date, English)

BROCKSCHMIDT, Marc, 2012. Automated termination proofs for Java programs with cyclic data. Aachen: RWTH.

Elsevier - Harvard (with titles)

Brockschmidt, M., 2012. Automated termination proofs for Java programs with cyclic data, Aachener Informatik-Berichte. RWTH, Aachen.

American Psychological Association 7th edition

Brockschmidt, M. (ca. 2012). Automated termination proofs for Java programs with cyclic data [Cd]. In Aachener Informatik-Berichte. RWTH.

Springer - Basic (author-date)

Brockschmidt M (2012) Automated termination proofs for Java programs with cyclic data. RWTH, Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Brockschmidt, Marc, Automated termination proofs for Java programs with cyclic data, Aachen 2012.

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