Parallel refinement for multi-threaded program verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Liangze Yin, Wei Dong 0006, Wanwei Liu, Ji Wang 0001. Parallel refinement for multi-threaded program verification. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 643-653, IEEE / ACM, 2019. [doi]

This author has not been identified. Look up 'Liangze Yin' in GoogleThis author has not been identified. Look up 'Wei Dong 0006' in GoogleThis author has not been identified. Look up 'Wanwei Liu' in GoogleThis author has not been identified. Look up 'Ji Wang 0001' in Google

runs on WebDSL