APA (7th ed.) Citation

Rosenberg, S., David, A., Naumann, A., Nicolosi, A., Suffel, C. L., & Archives, T. P. S. U. C. (2011). 0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION. http://www.cs.stevens.edu/~naumann/pub/VERL/RosenbergDiss.pdf.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Rosenberg, Stan, et al. "0429894. REGION LOGIC: LOCAL REASONING FOR JAVA PROGRAMS AND ITS AUTOMATION." Http://www.cs.stevens.edu/~naumann/pub/VERL/RosenbergDiss.pdf, 2011.