Research outputs (9)

1. Published

   Foundational Analysis Techniques for High-Level Transformation Programs

   Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research

2. Published

   Verification of high-level transformations with inductive refinement types

   Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

3. Published

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

   Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research

View all (9) »