Date of Award | 16 Nov 2021 |
---|---|
Original language | English |
Supervisor | Ivan Kurtev (Supervisor 1), Wilbert Alberts (External coach) & Natalia Sidorova (Supervisor 2) |
Adding Formal Specifications to a Legacy Code Generator
Student thesis: Master