Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Zhiming Liu (편집자) , Zili Zhang (편집자)