Certified Verification for Algebraic Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ming-Hsien Tsai 0001, Yu-Fu Fu, Jiaxiang Liu 0001, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang. Certified Verification for Algebraic Abstraction. In Constantin Enea, Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Volume 13966 of Lecture Notes in Computer Science, pages 329-349, Springer, 2023. [doi]

This author has not been identified. Look up 'Ming-Hsien Tsai 0001' in GoogleThis author has not been identified. Look up 'Yu-Fu Fu' in GoogleThis author has not been identified. Look up 'Jiaxiang Liu 0001' in GoogleThis author has not been identified. Look up 'Xiaomu Shi' in GoogleThis author has not been identified. It may be one of the following persons:

Bow-Yaw Wang

Look up 'Bow-Yaw Wang' in GoogleThis author has not been identified. Look up 'Bo-Yin Yang' in Google

runs on WebDSL