English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Automated Technology for Verification and Analysis. 20th International Symposium, ATVA 2022. Proceedings
Information
Publications
Export
Statistics
Options
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
Springer Nature
Datum
2022
Serie
Lecture Notes in Computer Science; 13505
DOI
10.1007/978-3-031-19992-9
Konferenz
International Symposium on Automated Technology for Verification and Analysis 2022
ATVA
Language
en