Haowei Liang, Chunyan Hou, Jinsong Wang, Chen Chen 0012. An Extention of Lazy Abstraction and Refinement for Program Verification. In Hong Va Leong, Sahra Sedigh Sarvestani, Yuuichi Teranishi, Alfredo Cuzzocrea, Hiroki Kashiwazaki, Dave Towey, Ji-Jiang Yang, Hossain Shahriar, editors, 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022. pages 1750-1755, IEEE, 2022. [doi]
Abstract is missing.