Languages
ATVA (Symposium) (2021 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automated technology for verification and analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /
by:
ATVA (Symposium) (2021 :); Hou, Zhe.; Ganesh, Vijay.; SpringerLink (Online service)
(Electronic resources)