1 电子书 Lukas Holik
Ahmed Bouajjani & Lukas Holik: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The sympos …
EPUB
英语
DRM
€83.72
