Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - Extended Abstract.

M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen

Browse the full ICST paper archive.