| Originalspråk | Odefinierat/okänt |
|---|---|
| Förlag | Turku Centre for Computer Science (TUCS) |
| Antal sidor | 40 |
| ISBN (tryckt) | 978-952-12-2101-9 |
| Status | Publicerad - 2008 |
| MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Generating Test Cases from Scenario-Based Formal Development
Qaisar A. Malik, Johan Lilius, Linas Laibinis
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell