Reports for Author "Hobor, Aquinas"
-
TR-825-08 -
Oracle Semantics for Concurrent Separation Logic (Extended Version)
(2008-06-00)
Hobor, Aquinas / Zappa Nardelli, Francesco / Appel, Andrew W. -
TR-836-08 -
Oracle Semantics (thesis)
(2008-10-00)
Hobor, Aquinas