Title

Automated Technology for Verification and Analysis. 20th International Symposium, ATVA 2022. Proceedings
Titel Supplements
Virtual Event, October 25-28, 2022
Hrsg
Bouajjani, Ahmed
Verlag
Datum
2022
Serie
Lecture Notes in Computer Science; 13505
DOI
10.1007/978-3-031-19992-9
Konferenz
ATVA
Language
en