Adding Formal Specifications to a Legacy Code Generator

  • Raj Derasari

Scriptie/Masterproef: Master

Datum prijs16 nov. 2021
Originele taalEngels
BegeleiderIvan Kurtev (Afstudeerdocent 1), Wilbert Alberts (Externe coach) & Natalia Sidorova (Afstudeerdocent 2)

Citeer dit

'