SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Andrzej Wasowski

    Publikation: Bog / Antologi / Rapport › Rapport › Forskning

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science