Verification of DSMLs using graph transformation: a case study with Alloy.

Zekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett R. Bryant

Browse the full MODELS paper archive.