Formal Validation of Domain-Specific Languages With Derived Features and Well-Formedness Constraints

Software and Systems Modeling - Germany
doi 10.1007/s10270-015-0485-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC