Adding Formal Specifications to a Legacy Code Generator

  • Raj Derasari

Student thesis: Master

Date of Award16 Nov 2021
Original languageEnglish
SupervisorIvan Kurtev (Supervisor 1), Wilbert Alberts (External coach) & Natalia Sidorova (Supervisor 2)

Cite this

'