Taolue Chen, Fu Song, Zhilin Wu. Formal Reasoning on Infinite Data Values: An Ongoing Quest. In Jonathan P. Bowen, Zhiming Liu, Zili Zhang, editors, Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Volume 10215 of Lecture Notes in Computer Science, pages 195-257, 2016. [doi]
Abstract is missing.