Matching and Merging Scenarios Automatically with Alloy.
Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen
VenueCMODELSWARD
Year2014
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/BowlesABC14 ↗
Browse the full MODELSWARD paper archive.