Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
American Psychological Association 6th edition

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

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.

Modern Language Association 9th edition

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

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

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

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