Dependable Software Engineering. Theories, Tools, and Applications
9th International Symposium, SETTA 2023, Nan**g, China, November 27–29, 2023, Proceedings
Book and Conference Proceedings
9th International Symposium, SETTA 2023, Nan**g, China, November 27–29, 2023, 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
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Book and Conference Proceedings
6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
Book and Conference Proceedings