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

Full text!
Format:
e-book
Title:
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
Author:
André, Étienne.; Sun, Jun
Language:
English
Publisher:
Cham Springer 2023
ISBN:
3-031-45328-X
3-031-45329-8
Permalink:
http://bibtest.howest.be/catalog/ebk03:28544054700041?locale=en