Leino, K. Rustan M. http://orcid.org/0000-0003-2872-8039
Conference Information
Conference Acronym: SETSS
Conference Name: School on Engineering Trustworthy Software Systems
Conference City: Chongqing
Conference Country: China
Conference Year: 2017
Conference Start Date: 17 April 2017
Conference End Date: 22 April 2017
Conference Number: 3
Conference ID: setss2017
Conference URL: http://www.swu-rise.net.cn/SETSS2017/