Bi-Abductive Inference for Shape and Ordering Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christopher Curry, Quang Loc Le, Shengchao Qin. Bi-Abductive Inference for Shape and Ordering Properties. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 220-225, IEEE, 2019. [doi]

This author has not been identified. Look up 'Christopher Curry' in GoogleThis author has not been identified. Look up 'Quang Loc Le' in GoogleThis author has not been identified. Look up 'Shengchao Qin' in Google

runs on WebDSL