Heizmann, M. und Podelski, A. (2015) Traces, interpolants, and automata : a new approach to automatic software verification [cd]. Freiburg: Universität. doi:10.6094/UNIFR/10401.
Chicago Manual of Style 17th edition (full note)Heizmann, Matthias, und Andreas Podelski. Traces, interpolants, and automata : a new approach to automatic software verification. Cd. Freiburg: Universität, [2015?], Freiburg: Universität, [2015?]. https://doi.org/10.6094/UNIFR/10401.
American Psychological Association 7th editionHeizmann, M., & Podelski, A. (ca. 2015). Traces, interpolants, and automata : a new approach to automatic software verification [Cd]. Universität. https://doi.org/10.6094/UNIFR/10401
Modern Language Association 9th editionHeizmann, M., und A. Podelski. Traces, interpolants, and automata : a new approach to automatic software verification. cd, Universität, 2015, https://doi.org/10.6094/UNIFR/10401.
ISO-690 (author-date, Deutsch)HEIZMANN, Matthias und Andreas PODELSKI, 2015. Traces, interpolants, and automata : a new approach to automatic software verification. Freiburg: Universität