Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Type:

e-book

Titel:

Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings

Auteur:

Bouajjani, Ahmed.; Holík, Lukás; Wu, Zhilin

Taal:

Engels

Uitgever:

Cham Springer International Publishing AG 2022

ISBN:

3-031-19991-X
3-031-19992-8

Permalink:

http://bibtest.howest.be/catalog/ebk03:25188965100041