| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Kustantaja | Turku Centre for Computer Science (TUCS) |
| Sivumäärä | 40 |
| ISBN (painettu) | 978-952-12-2101-9 |
| Tila | Julkaistu - 2008 |
| OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Generating Test Cases from Scenario-Based Formal Development
Qaisar A. Malik, Johan Lilius, Linas Laibinis
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen