語系
ATVA (Symposium) (2021 :)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)