Liu, Zhiming.

概要

作品:	1 作品在 3 项出版品 1 种语言

书目信息

Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: Clark Conference ((2005 :); Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun. (书目-语言数据,印刷品)

Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: Clark Conference ((2005 :); Liu, Zhiming.; SpringerLink (Online service); Zhang, Zili. (书目-语言数据,印刷品)

Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: Clark Conference ((2005 :); Li, Xuandong.; Liu, Zhiming.; SpringerLink (Online service); Yi, Wang. (书目-语言数据,印刷品)

主题