Xinyu Feng, Markus Müller-Olm, Zijiang Yang Dependable Software Engineering. Theories, Tools, and Applications - Springer Springer 2018 ISBN: 9783319999333 Source: EBOOK