Title

Automated Technology for Verification and Analysis. 20th International Symposium, ATVA 2022. Proceedings

Title Supplement
Virtual Event, October 25-28, 2022
Editor(s)
Bouajjani, Ahmed
Publisher
Publication Date
2022
Series
Lecture Notes in Computer Science; 13505
ISBN
978-3-031-19991-2
978-3-031-19992-9
978-3-031-19993-6
DOI
Conference
Acronym
ATVA
Language
English