Jonathan P. Bowen, Zhiming Liu, Zili Zhang, editors, Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Volume 10215 of Lecture Notes in Computer Science, 2017. [doi]
Conference: setss2017
Abstract is missing.