@phdthesis{KULeuven-425797,
author = "Dominique Devriese",
month = "January",
note = "partner: KUL; projects: NESSoS; No Tier; citations: 0",
school = "KU Leuven",
title = "{F}unctional {T}echniques for {R}epresenting and {S}pecifying {S}oftware ({F}unctionele technieken voor het voorstellen en specifi{\"e}ren van software)",
url = "https://lirias.kuleuven.be/handle/123456789/425797",
year = "2014",
}