Static Analysis. - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
- Författare
- Manuel V. Hermenegildo
- (Manuel V. Hermenegildo and José F. Morales.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2023 | Schweiz, Cham, Switzerland | 1 online resource (577 pages) |