Formalizing DSL semantics for reasoning and conformance testing

S. Keshishzadeh, A.J. Mooij

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    2 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Formalizing DSL semantics for reasoning and conformance testing'. Together they form a unique fingerprint.

    Computer Science