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 / Ph.D.-afhandlingRapportForskning

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.

Teknik og materialevidenskab