Cite Them Right 11th edition - Harvard

Nutz, A. und Podelski, A. (2020) Data flow in program verification [cd]. Freiburg: Universität. doi:10.6094/UNIFR/165473.

Chicago Manual of Style 17th edition (full note)

Nutz, Alexander, und Andreas Podelski. Data flow in program verification. Cd. Freiburg: Universität, [2020?], Freiburg: Universität, [2020?]. https://doi.org/10.6094/UNIFR/165473.

American Psychological Association 7th edition

Nutz, A., & Podelski, A. (ca. 2020). Data flow in program verification [Cd]. Universität. https://doi.org/10.6094/UNIFR/165473

Modern Language Association 9th edition

Nutz, A., und A. Podelski. Data flow in program verification. cd, Universität, 2020, https://doi.org/10.6094/UNIFR/165473.

ISO-690 (author-date, Deutsch)

NUTZ, Alexander und Andreas PODELSKI, 2020. Data flow in program verification. Freiburg: Universität

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