发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

A separation logic for refining concurrent objects

A separation logic for refining concurrent objects

Turon, Aaron Joseph; Wand, Mitchell
  • 期刊名称ACM SIGPLAN Notices
  • 作者Turon, Aaron Joseph; Wand, Mitchell
  • 卷第46卷
  • 期第1期
  • 印刷ISSN0362-1340
  • 文件大小484.15KB
  • 发表时间2011-01-26
  • DOI10.1145/1925844.1926415
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯