ISO-690 (author-date, English)

ERMIS, Evren und PODELSKI, Andreas, 2014. Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung. Freiburg: Universität.

Elsevier - Harvard (with titles)

Ermis, E., Podelski, A., 2014. Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung. Universität, Freiburg. https://doi.org/urn:nbn:de:bsz:25-opus-94277

American Psychological Association 7th edition

Ermis, E., & Podelski, A. (ca. 2014). Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung [Cd]. Universität. https://doi.org/urn:nbn:de:bsz:25-opus-94277

Springer - Basic (author-date)

Ermis E, Podelski A (2014) Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung. Universität, Freiburg

Juristische Zitierweise (Stüber) (Deutsch)

Ermis, Evren/ Podelski, Andreas, Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung, Freiburg 2014.

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