Formal validation of domain-specific languages with derived features and well-formedness constraints

Oszkár Semeráth, Ágnes Barta, Ákos Horváth, Zoltán Szatmári, Dániel Varró. Formal validation of domain-specific languages with derived features and well-formedness constraints. Software and Systems Modeling, 16(2):357-392, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.