yinliangze/Yin-ICSE2019-Artifact: A Release for the Artifact of ICSE 2019
| Main Author: | Liangze Yin |
|---|---|
| Format: | info software eJournal |
| Bahasa: | eng |
| Terbitan: |
, 2019
|
| Online Access: |
https://zenodo.org/record/2578529 |
Daftar Isi:
- This release presents the artifact of paper "L. Yin, W. Dong, W. Liu, and J. Wang. Parallel Refinement for Multi-Threaded Program Verification. IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019"