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-23-09 vid 03:13