[IEEE 2019 IEEE/ACM 27th International Conference on...

  • Main
  • [IEEE 2019 IEEE/ACM 27th International...

[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
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2019
DOI:
10.1109/icpc.2019.00041
File:
PDF, 141 KB
2019
Conversion to is in progress
Conversion to is failed