![](/img/cover-not-exists.png)
[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) - Parallel Refinement for Multi-Threaded Program Verification
Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, JiYear:
2019
Language:
english
DOI:
10.1109/ICSE.2019.00074
File:
PDF, 486 KB
english, 2019