|
|||||
|
|
A framework for model transformation verification |
|
| Authors: | Kevin Lano T. Clark S. Kolahdouz-Rahimi |
| Affiliation: | 1. Department of Informatics, King’s College London, London, UK 2. Department of Informatics, Middlesex University, London, UK |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |