Princeton University
|
Princeton Engineering
Academics
Course Schedule
Course Catalog
Graduate Program
Undergraduate Programs
Interdisciplinary Programs
Research
Research Areas
Research Projects
Public Lectures and Colloquia
Technical Reports
People
Faculty
Researchers
Technical Staff
Administrative Staff
Graduate Students
Undergraduate Students
Alumni/ae
Connect
Collaborations
Industrial Affiliates
Libraries
Jobs
About
Contact Us
News and Events
Department Information
Visit Us
Home
::
Research
::
Technical Reports
::
Hobor, Aquinas
Technical Reports
Display by Author:
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
| U |
V
|
W
|
X
|
Y
|
Z
Search by
Report Title
Author
Year
TR Number
for:
2 matches found for
Hobor, Aquinas
:
Hobor, Aquinas
Oracle Semantics for Concurrent Separation Logic (Extended Version)
, TR-825-08, June 2008
Oracle Semantics (thesis)
, TR-836-08, October 2008