Formalising UML Use Cases in the Refinement Calculus

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Back R, Petre L, Porres I
Publisher: Turku Centre for Computer Science
Publication year: 1999
ISBN: 952-12-0464-8

Last updated on 2019-22-11 at 05:20