
Software Verification
13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers
簡介
關於本書
- 語言:English
- ISBN:9783030955618
- 發行日期:2024年1月11日
- 出版商:Springer International Publishing
- 出版單位:Springer
- 檔案格式:EPUB3
- 檔案大小:20.83 MB
- 下載選項:EPUB3 (Adobe DRM)
