Xuandong Li "Dependable Software Engineering: Theories, Tools, and Applications" - 1st ed. 2015 - Springer 2015 - Lecture Notes in Computer Science . ISBN: 9783319259420 Subjects--Topical Terms: Computer ScienceSoftware Engineering