Shushu Wu, Xiwei Wu, Chengxi Yang, Qinxiang Cao. Intuitive Verification of Sequential Programs Using Hybrid Reasoning. In Giuseppe De Giacomo, Jianwen Li, Lili Xiao, editors, Theoretical Aspects of Software Engineering - 20th International Symposium, TASE 2026, Shanghai, China, July 4-6, 2026, Proceedings. Volume 16697 of Lecture Notes in Computer Science, pages 400-419, Springer, 2026. [doi]
Abstract is missing.