Engineering trustworthy software systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures - Bowen, Jonathan P. 1956-; Liu, Zhiming 1961-; Zhang, Zili (Programming and software engineering, 2018)