ISO-690 (author-date, English)

MEHLER, Tilman und EDELKAMP, Stefan, 2002. Trail-directed Java program verification. Freiburg: Univ.

Elsevier - Harvard (with titles)

Mehler, T., Edelkamp, S., 2002. Trail-directed Java program verification, Universität Freiburg, Institut für Informatik. Univ., Freiburg.

American Psychological Association 7th edition

Mehler, T., & Edelkamp, S. (ca. 2002). Trail-directed Java program verification [Cd]. In Universität Freiburg, Institut für Informatik. Univ.

Springer - Basic (author-date)

Mehler T, Edelkamp S (2002) Trail-directed Java program verification. Univ., Freiburg

Juristische Zitierweise (Stüber) (Deutsch)

Mehler, Tilman/ Edelkamp, Stefan, Trail-directed Java program verification, Freiburg 2002.

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