Cite Them Right 11th edition - Harvard

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

Chicago Manual of Style 17th edition (full note)

Hentschel, Martin. „Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation“. Cd. [2016?], [2016?]. 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

Modern Language Association 9th edition

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

ISO-690 (author-date, Deutsch)

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

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