Reducing behavioural to structural properties of programs with procedures - technical report
- Författare
- Dilian Gurov
- (Dilian Gurov, Marieke Huisman)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| TCS - Theoretical Computer Science, School of Computer Science and Communication, KTH Royal Institute of Technology | 2007 | Sverige, Stockholm | 35 sidor. |