| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Kustantaja | Turku Centre for Computer Science (TUCS) |
| ISBN (painettu) | 978-952-12-2338-9 |
| Tila | Julkaistu - 2009 |
| OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Creating Sequential Programs from Event-B Models
Pontus Boström
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen