Dependable Software Engineering. Theories, Tools, and Applications Zhang, Jun Pang; Lijun Digital bok / 2020 / Engelsk