Formalising UML Use Cases in the Refinement Calculus

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Back R, Petre L, Porres I
Förläggare: Turku Centre for Computer Science
Publiceringsår: 1999
ISBN: 952-12-0464-8

Senast uppdaterad 2019-16-11 vid 05:18

Dela länk