Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Shengchao Qin; Jim Woodcock; Wenhui Zhang, 3030912647, 9783030912642