Ph.D. thesis, PTT Research, Leidschendam, Department of Applied Computer Science, ... J.C.: Separation logic: a logic for shared mutable data structures.
確定！ 回上一頁
