Återgå till huvudnavigering Återgå till sök Gå direkt till huvudinnehållet

Formalising UML Use Cases in the Refinement Calculus

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

OriginalspråkOdefinierat/okänt
FörlagTurku Centre for Computer Science
ISBN (tryckt)952-12-0464-8
StatusPublicerad - 1999
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

Citera det här