Challenges of Software Verification (Intelligent Systems Reference Library, 238)
- Author
- Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor)
- Publisher
- Springer
- Language
- English
- Edition
- 1st ed. 2023
- Year
- 2023
- Page
- 279
- ISBN
- 9811996008,9789811996009
- File Type
- pdf
- File Size
- 5.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot