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-17-10 at 02:44