Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Book and Conference Proceedings
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Book and Conference Proceedings
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Book and Conference Proceedings
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
Book and Conference Proceedings
9th International Symposium, SETTA 2023, Nan**g, China, November 27–29, 2023, Proceedings