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)
2010Buch
InformatikFakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Titel in Englisch:
Full Semantics Preservation in Model Transformation : A Comparison of Proof Techniques
Autor*in:
Hülsbusch, MathiasUDE
- LSF ID
- 50188
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- GND
- 1050396502
- LSF ID
- 15982
- ORCID
- 0000-0002-4193-2889
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Erscheinungsort:
Twente
Verlag:
Centre for Telematics and Information Technology
Erscheinungsjahr:
2010
Sprache des Textes:
Englisch