Mutatis Mutandis
Stoyle, Gareth; Hicks, Michael; Bierman, Gavin; Sewell, Peter; Neamtiu, Iulian
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Stoyle, Gareth; Hicks, Michael; Bierman, Gavin; Sewell, Peter; Neamtiu, Iulian
- 卷第29卷
- 期第4期
- 印刷ISSN0164-0925
- 文件大小1398.11KB
- 发表时间2007-08-01
- DOI10.1145/1255450.1255455