Report - Formal Validation and Model Synthesis for Domain-specific ... · cific Languages, (ii) automatically generating or extending models for DSLs and view models, and (iii) developing

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form