Prototyping the semantics of a DSL using ASF+SDF: link to formal verification of DSL models

S. Andova, M.G.J. Brand, van den, L.J.P. Engelen

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    1 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Prototyping the semantics of a DSL using ASF+SDF: link to formal verification of DSL models'. Samen vormen ze een unieke vingerafdruk.

    Computer Science