Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl und The Pennsylvania State University Cite Seer X Archives (2011) „Automated detection of nontermination and Null Pointer Exceptions for Java Bytecode“, http://verify.rwth-aachen.de/giesl/papers/Fo Ve OOS.pdf [Preprint].
Chicago Manual of Style 17th edition (full note)Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, und The Pennsylvania State University Cite Seer X Archives. „Automated Detection of Nontermination and Null Pointer Exceptions for Java Bytecode“. http://verify.rwth-aachen.de/giesl/papers/Fo Ve OOS.Pdf, 1. Januar 2011.
American Psychological Association 7th editionMarc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, & The Pennsylvania State University Cite Seer X Archives. (2011). Automated detection of nontermination and Null Pointer Exceptions for Java Bytecode. http://verify.rwth-aachen.de/giesl/papers/Fo Ve OOS.Pdf.
Modern Language Association 9th editionMarc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, und The Pennsylvania State University Cite Seer X Archives. „Automated Detection of Nontermination and Null Pointer Exceptions for Java Bytecode“. http://verify.rwth-aachen.de/giesl/papers/Fo Ve OOS.Pdf, Januar 2011.
ISO-690 (author-date, Deutsch)MARC BROCKSCHMIDT, THOMAS STRÖDER, CARSTEN OTTO, JÜRGEN GIESL und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2011. Automated detection of nontermination and Null Pointer Exceptions for Java Bytecode. http://verify.rwth-aachen.de/giesl/papers/Fo Ve OOS.pdf. 1 Januar 2011