A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms.

Chengxi Yang, Shushu Wu, Qinxiang Cao

Browse the full TASE paper archive.