Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
Twente: Centre for Telematics and Information Technology, 2010
(CTIT Technical Report Series ; TR-CTIT-10-09)
2010book
Computer ScienceFaculty of Engineering » Computer Science and Applied Cognitive Science
Title in English:
Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
Author:
Hülsbusch, MathiasUDE
- LSF ID
- 50188
- Other
- connected with university
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Other
- connected with university
Place of publication:
Twente
Publisher:
Centre for Telematics and Information Technology
Year of publication:
2010
Language of text:
English