Formal verification of QVT transformations for code generation
Stenzel, Kurt, Moebius, Nina, Reif, WolfgangVolume:
14
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-013-0351-7
Date:
May, 2015
File:
PDF, 2.00 MB
english, 2015