Towards a GUI for program verification with KeY
- Författare
- Mohammad Ali Darvish Darab
- (Mohammad Ali Darvish Darab.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2010 | Sverige, Göteborg | 53 sidor. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2010 | Sverige, Göteborg | 53 sidor. ill. |