Formal verification of QVT transformations for code generation |
| |
Authors: | Kurt Stenzel Nina Moebius Wolfgang Reif |
| |
Affiliation: | 1. Institute for Software and Systems Engineering, Augsburg University, 86135, Augsburg, Germany
|
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|