[IEEE 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Montreal, QC, Canada (2019.5.25-2019.5.26)] 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - CCSpec: A Correctness Condition Specification Tool
- 作者Peterson, Christina; LaBorde, Pierre; Dechev, Damian
- 文件大小140.58KB
- 发表时间2019
- DOI10.1109/icpc.2019.00041
- 页码220-230
同期刊推荐
Table of contentsIEEE Transactions on Network and Service Management · 2014
Table of ContentsIEEE Transactions on Network and Service Management · 2014
Table of ContentsIEEE Transactions on Network and Service Management · 2015
Table of ContentsIEEE Transactions on Network and Service Management · 2015
Table of ContentsIEEE Transactions on Network and Service Management · 2015
IEEE Transactions on Cloud ComputingIEEE Transactions on Network and Service Management · 2012
Table of ContentsIEEE Transactions on Network and Service Management · 2014
Table of ContentsIEEE Transactions on Network and Service Management · 2015