Bernhard Schätz
Verification of Model Transformations
GT-VMT, 2010.
@article{GT-VMT-2010-Schatz,
author = "Bernhard Schätz",
ee = "http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/420",
journal = "{Electronic Communications of the EASST}",
title = "{Verification of Model Transformations}",
volume = 29,
year = 2010,
}