ISO-690 (author-date, English)

OTTO, Carsten, GIESL, Jürgen und SPOTO, Fausto, 2015. Java program analysis by symbolic execution. Aachen: Universitätsbibliothek der RWTH Aachen.

Elsevier - Harvard (with titles)

Otto, C., Giesl, J., Spoto, F., 2015. Java program analysis by symbolic execution. Aachener Informatik-Berichte. Universitätsbibliothek der RWTH Aachen, Aachen. https://doi.org/urn:nbn:de:hbz:82-rwth-2015-013732

American Psychological Association 7th edition

Otto, C., Giesl, J., & Spoto, F. (ca. 2015). Java program analysis by symbolic execution [Universitätsbibliothek der RWTH Aachen; Cd]. In Aachener Informatik-Berichte. https://doi.org/urn:nbn:de:hbz:82-rwth-2015-013732

Springer - Basic (author-date)

Otto C, Giesl J, Spoto F (2015) Java program analysis by symbolic execution. Universitätsbibliothek der RWTH Aachen

Juristische Zitierweise (Stüber) (Deutsch)

Otto, Carsten/ Giesl, Jürgen/ Spoto, Fausto, Java program analysis by symbolic execution, Aachen 2015.

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