Intuitive Verification of Sequential Programs Using Hybrid Reasoning.

Shushu Wu, Xiwei Wu, Chengxi Yang, Qinxiang Cao

Browse the full TASE paper archive.