TY - GEN AU - Bowen, J. P. AU - Liu, Zhiming, AU - Zhang, Zili CN - QA76.758 DO - 10.1007/978-3-319-56841-6 DO - doi ID - 781019 KW - Software engineering KW - Computer software KW - Computer security LK - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-56841-6 N1 - Includes author index. SN - 9783319568416 SN - 3319568418 T1 - Engineering trustworthy software systems :second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures / TI - Engineering trustworthy software systems :second International School, SETSS 2016, Chongqing, China, March 28-April 2, 2016, Tutorial lectures / UR - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-56841-6 VL - 10215 ER -