Exploiting purity for atomicity
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz
- 期刊名称ACM SIGSOFT Software Engineering Notes
- 作者Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz
- 卷第29卷
- 期第4期
- 印刷ISSN0163-5948
- 文件大小136.49KB
- 发表时间2004-07-01
- DOI10.1145/1013886.1007543