Engineering trustworthy software systems 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures - Bowen, Jonathan P. 1956-; Liu, Zhiming 1961-; Zhang, Zili (Programming and software engineering, 2020)