Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings
(Lecturer) Zhe Hou (editor), Vijay Ganesh (editor)Kategorije:
Godina:
2021
Izdavač:
Springer
Jezik:
english
ISBN 10:
3030888851
ISBN 13:
9783030888855
Serije:
Lecture notes in computer science, 12971
Fajl:
PDF, 13.94 MB
IPFS:
,
english, 2021