Proving the correctness of a virtual machine by a bisimulation
- Författare
- Mikael Rittri
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept of computer sciences | 1988 | Sverige, Göteborg | 39 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept of computer sciences | 1988 | Sverige, Göteborg | 39 sidor. |