Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Jonathan P. Bowen , Zhiming Liu , Zili Zhang