Dependable Software Engineering: Theories, Tools, and Applications  First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /  [electronic resource] : 
edited by Xuandong Li, Zhiming Liu, Wang Yi. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (XIX, 317 p. 86 ill.) 
 - Lecture Notes in Computer Science,  9409  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783319259420 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Software engineering.<br/>Computer logic.<br/>Mathematical logic.<br/>Computer simulation.