The hole story - type-driven synthesis and repair
- Författare
- Matthías Páll Gissurarson
- (Mathias Påll Gissurarson.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer Science and Engineering, Chalmers University of Technology | 2022 | Sverige, Göteborg | xi, 85 sidor. ill. |