@phdthesis{KULeuven-362694,
author = "Fr{\'e}d{\'e}ric Vogels",
month = "December",
note = "partner: KUL; project: NESSoS; tier: NoTier"; citations: 0",
title = "{F}ormalisation and {S}oundness of {S}tatic {V}erification {A}lgorithms for {I}mperative {P}rograms ({F}ormalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programmatextquotesingles)",
url = "https://lirias.kuleuven.be/handle/123456789/362694",
year = "2012",
}