Test-driven synthesis
Perelman, Daniel; Gulwani, Sumit; Grossman, Dan; Provost, Peter
- 期刊名称ACM SIGPLAN Notices
- 作者Perelman, Daniel; Gulwani, Sumit; Grossman, Dan; Provost, Peter
- 卷第49卷
- 期第6期
- 印刷ISSN0362-1340
- 文件大小396.81KB
- 发表时间2014-06-05
- DOI10.1145/2666356.2594297
- 页码408-418