Automatic Extraction of Program Models for Formal Software Verification
- Författare
- Pedro de Carvalho Gomes
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| KTH Royal Institute of Technology | 2015 | Sverige, Stockholm | viii, 118 sidor. | 978-91-7595-761-6 |
| KTH Royal Institute of Technology | 2015 | Sverige, Stockholm | viii, 118 sidor. (PDF) |