Barrier invariants
Chong, Nathan; Donaldson, Alastair F.; Kelly, Paul H.J.; Ketema, Jeroen; Qadeer, Shaz
- 期刊名称ACM SIGPLAN Notices
- 作者Chong, Nathan; Donaldson, Alastair F.; Kelly, Paul H.J.; Ketema, Jeroen; Qadeer, Shaz
- 卷第48卷
- 期第10期
- 印刷ISSN0362-1340
- 文件大小1014.89KB
- 发表时间2013-11-12
- DOI10.1145/2544173.2509517
- 页码605-622