Automated Formal Verification of Model Transformations

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/2509
Collections
Title
Automated Formal Verification of Model Transformations
Author
Varró, Dániel
Pataricza, András
Date of issue
2003
Language
en
Identifiers
MTMT: 2612548
Title of the container document
Proc. of CSDUML 2003: Workshop on Critical Systems Development in UML;
Document type
egyéb konferenciaközlemény
Document genre
konferenciaközlemény