vUML: a Tool for Verifying UML Models

D4 Published development or research report or study

Internal Authors/Editors

Publication Details

List of Authors: Johan Lilius, Iván Porres Paltor
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 1999
Title of series: TUCS Technical Report
Number in series: 272
Number of pages: 14
ISBN: 952-12-0445-1
ISSN: 1239-1891

Last updated on 2020-10-08 at 06:30