Ironclad C++
DeLozier, Christian; Eisenberg, Richard; Nagarakatte, Santosh; Osera, Peter-Michael; Martin, Milo M.K.; Zdancewic, Steve
- 期刊名称ACM SIGPLAN Notices
- 作者DeLozier, Christian; Eisenberg, Richard; Nagarakatte, Santosh; Osera, Peter-Michael; Martin, Milo M.K.; Zdancewic, Steve
- 卷第48卷
- 期第10期
- 印刷ISSN0362-1340
- 文件大小637.09KB
- 发表时间2013-11-12
- DOI10.1145/2544173.2509550
- 页码287-304