Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures - Bowen, Jonathan P.; Bowen, Jonathan P.; Liu, Zhiming; Liu, Zhiming; Zhang, Zili; Zhang, Zili (Springer International Publishing : Imprint: Springer, 2019)