TZI Literaturverzeichnis

List Resources

Displaying 1 - 1 of 1 (Bibliography: WIKINDX Master Bibliography)
Creator:  Futatsugi
F. Büttner, M. Egea, J. Cabot and M. Gogolla, "Verification of ATL Transformations Using Transformation Models and Model Finders" in Proc. 14th Int. Conf. Formal Engineering Methods (ICFEM 2012), K. Futatsugi and S. Liu, Eds., 2012, p. 198–213. Added by: Angela Schramm  v    Pop. 17.48%
wikindx      |     Total Resources:  3135     |     Database queries:  20     |     Script execution:  0.25545 secs