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 2019-15-11 at 03:27