Fingerprint
Dive into the research topics of 'SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations
Ahmad Salim Al-Sibahi, Aleksandar Dimovski, Andrzej Wasowski
Research output: Book / Anthology / Report › Report › Research