vUML: a Tool for Verifying UML Models

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Johan Lilius, Iván Porres Paltor
Förläggare: Turku Centre for Computer Science (TUCS)
Publiceringsår: 1999
Seriens namn: TUCS Technical Report
Nummer i serien: 272
Antal sidor: 14
ISBN: 952-12-0445-1
ISSN: 1239-1891

Senast uppdaterad 2019-15-09 vid 08:10