Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Type:

e-book

Titel:

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

Auteur:

André, Étienne.; Sun, Jun

Taal:

Engels

Uitgever:

Cham Springer 2023

ISBN:

3-031-45328-X
3-031-45329-8

Permalink:

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