-
1
Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.
Published 2023Other Authors: Full Text (via Springer)
Electronic Conference Proceeding eBook
-
2
Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings.
Published 2023Other Authors: Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Dependable software engineering : theories, tools, and applications : 9th international symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, proceedings /
Published 2024Other Authors: Full Text (via Springer)
Conference Proceeding eBook
