TY - GEN DO - 10.1007/978-3-030-02928-9 DO - doi T1 - Engineering trustworthy software systems :third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures / AU - Bowen, J. P. AU - Liu, Zhiming, AU - Zhang, Zili VL - 11174 CN - QA76.758 N1 - Includes author index. ID - 856624 KW - Software engineering KW - Computer software KW - Computer security SN - 9783030029289 SN - 303002928X TI - Engineering trustworthy software systems :third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures / LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-02928-9 UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-02928-9 ER -