ISO-690 (author-date, English)

STAN ROSENBERG, ADVISOR DAVID, A. NAUMANN, ANTONIO NICOLOSI, CHARLES L. SUFFEL und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2011. 0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION. http://www.cs.stevens.edu/~naumann/pub/VERL/Rosenberg Diss.pdf. 1 Januar 2011.

Elsevier - Harvard (with titles)

Stan Rosenberg, Advisor David, A. Naumann, Antonio Nicolosi, Charles L. Suffel, The Pennsylvania State University Cite Seer X Archives, 2011. 0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION. http://www.cs.stevens.edu/~naumann/pub/VERL/Rosenberg Diss.pdf.

American Psychological Association 7th edition

Stan Rosenberg, Advisor David, A. Naumann, Antonio Nicolosi, Charles L. Suffel, & The Pennsylvania State University Cite Seer X Archives. (2011). 0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION. http://www.cs.stevens.edu/~naumann/pub/VERL/Rosenberg Diss.Pdf.

Springer - Basic (author-date)

Stan Rosenberg, Advisor David, A. Naumann, Antonio Nicolosi, Charles L. Suffel, The Pennsylvania State University Cite Seer X Archives (2011) 0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION. http://www.cs.stevens.edu/~naumann/pub/VERL/Rosenberg Diss.pdf

Juristische Zitierweise (Stüber) (Deutsch)

Stan Rosenberg/ Advisor David/ A. Naumann/ Antonio Nicolosi/ Charles L. Suffel/ The Pennsylvania State University Cite Seer X Archives, 0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION, http://www.cs.stevens.edu/~naumann/pub/VERL/Rosenberg Diss.pdf 2011.

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