Automated Formal Verification of Model Transformations

View/ Open
Metadata
Show full item record
Link to refer to this document:
Collections
- BME PA dokumentumai [3590]
- 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