REFINER : towards formal verification of model transformations

A.J. Wijs, L.J.P. Engelen

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

    17 Citaten (Scopus)
    1 Downloads (Pure)

    Vingerafdruk

    Duik in de onderzoeksthema's van 'REFINER : towards formal verification of model transformations'. Samen vormen ze een unieke vingerafdruk.

    Computer Science