Formalizing DSL semantics for reasoning and conformance testing

S. Keshishzadeh, A.J. Mooij

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
    2 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Formalizing DSL semantics for reasoning and conformance testing'. Samen vormen ze een unieke vingerafdruk.

    Computer Science