ENGLISH

Challenges of Software Verification

By Agostino Cortesi , Vincenzo Arceri , Pietro Ferrara , Martina Olliaro

Book information

Publisher
Springer
Year
2023
ISBN
9789811996009, 9789811996016
Language
english
Format
PDF
Filesize
6 MB (5795957 bytes)
Series
Intelligent Systems Reference Library, Volume 238
Pages
275\275
Time added
2023-09-27 06:59:26

Similar books