COMPASS - introduction of formal methods in code development and inspection
- Författare
- Tim Heyer
- (Tim Heyer.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Univ. | 1998 | Sverige, Linköping | 105 sidor. | |
| 1997 | Sverige, Linköping | 15 sidor. |