HEIZMANN, Matthias und PODELSKI, Andreas, 2015. Traces, interpolants, and automata : a new approach to automatic software verification. Freiburg: Universität.
Elsevier - Harvard (with titles)Heizmann, M., Podelski, A., 2015. Traces, interpolants, and automata : a new approach to automatic software verification. Universität, Freiburg. 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
Springer - Basic (author-date)Heizmann M, Podelski A (2015) Traces, interpolants, and automata : a new approach to automatic software verification. Universität, Freiburg
Juristische Zitierweise (Stüber) (Deutsch)Heizmann, Matthias/ Podelski, Andreas, Traces, interpolants, and automata : a new approach to automatic software verification, Freiburg 2015.