Languages
ATVA (Symposium) (2023 :)
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part II /
by:
ATVA (Symposium) (2023 :); Andre, Etienne.; Sun, Jun.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis = 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings.. Part I /
by:
ATVA (Symposium) (2023 :); Andre, Etienne.; Sun, Jun.; SpringerLink (Online service)
(Electronic resources)