| Originalspråk | Odefinierat/okänt |
|---|---|
| Förlag | Turku Centre for Computer Science |
| ISBN (tryckt) | 952-12-0464-8 |
| Status | Publicerad - 1999 |
| MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Formalising UML Use Cases in the Refinement Calculus
Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell