Publisher
Springer International Publishing
Reference32 articles.
1. Lecture Notes in Computer Science;T Arendt,2010
2. Azab, K., Habel, A., Pennemann, K.H., Zuckschwerdt, C.: ENFORCe: a system for ensuring formal correctness of high-level programs. In: Proceedings of 3rd International Workshop on Graph Based Tools (GraBaTs 2006), vol. 1, pp. 82–93 (2006)
3. Lecture Notes in Computer Science;B Becker,2011
4. Biermann, E., Ermel, C., Taentzer, G.: Formal foundation of consistent EMF model transformations by algebraic graph transformation. Softw. Syst. Model. 11(2), 227–250 (2012)
5. Clarisó, R., Cabot, J., Guerra, E., de Lara, J.: Backwards reasoning for model transformations: method and applications. J. Syst. Softw. 116(Suppl. C), 113–132 (2016)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献