| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Kustantaja | Turku Centre for Computer Science |
| ISBN (painettu) | 952-12-0464-8 |
| Tila | Julkaistu - 1999 |
| OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Formalising UML Use Cases in the Refinement Calculus
Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen