Formalising UML Use Cases in the Refinement Calculus

Ralph-Johan Back, Luigia Petre, Ivan Porres Paltor

Research output: Book/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science
ISBN (Print)952-12-0464-8
Publication statusPublished - 1999
MoE publication typeD4 Published development or research report or study

Cite this