Domain-specific templates for refinement transformations.

Lucia Kapov, Thomas Goldschmidt, Jens Happe, Ralf H. Reussner

Browse the full MODELS paper archive.