ISO-690 (author-date, English)

SCHWEITZER, Dirk Stephan, 2007. Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme.

Elsevier - Harvard (with titles)

Schweitzer, D.S., 2007. Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme. https://doi.org/urn:nbn:de:tuda-tuprints-8311

American Psychological Association 7th edition

Schweitzer, D. S. (ca. 2007). Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme [Cd]. https://doi.org/urn:nbn:de:tuda-tuprints-8311

Springer - Basic (author-date)

Schweitzer DS (2007) Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme

Juristische Zitierweise (Stüber) (Deutsch)

Schweitzer, Dirk Stephan, Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme, 2007.

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