Challenges of Software Verification
- Författare
- Vincenzo. Arceri
- (Edited by Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Nature Singapore, Imprint: Springer | 2023 | Singapore, Singapore | 1 online resource (275 pages) |