ISO-690 (author-date, English)

HENTSCHEL, Martin, 2016. Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation. Darmstadt.

Elsevier - Harvard (with titles)

Hentschel, M., 2016. Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation. Darmstadt. https://doi.org/urn:nbn:de:tuda-tuprints-53995

American Psychological Association 7th edition

Hentschel, M. (ca. 2016). Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation [Cd]. https://doi.org/urn:nbn:de:tuda-tuprints-53995

Springer - Basic (author-date)

Hentschel M (2016) Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation

Juristische Zitierweise (Stüber) (Deutsch)

Hentschel, Martin, Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation, Darmstadt 2016.

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