Jonathan P. Bowen. The Impact of Alan Turing: Formal Methods and Beyond. In Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Volume 11430 of Lecture Notes in Computer Science, pages 202-235, Springer, 2018. [doi]
Abstract is missing.