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

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