Engineering Trustworthy Software Systems: Third International School (SETSS 2017), Chongqing, China, April 17-22, 2017, Tutorial Lectures

Jonathan P. Bowen , Zhiming Liu , Zili Zhang