Meta-Tool for Model-Driven Verification of Constraints Satisfaction.
Csar Cuevas Cuesta, Patricia Lpez Martnez, Jos M. Drake
VenueCMODELSWARD
Year2016
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/CuestaMD16b ↗
Browse the full MODELSWARD paper archive.