Jun Pang, Lijun Zhang Dependable Software Engineering. Theories, Tools, and Applications - Springer Springer 2020 ISBN: 9783030628222 Source: EBOOK