| Date of Award | 24 May 2017 |
|---|---|
| Original language | English |
| Supervisor | Musab Alturki (Supervisor) |
An Executable Formal Framework for Regular String Transformation in Rewriting Logic
Student thesis: Master's Thesis