Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programmatextquotesingles)

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	Phd Thesis
Authors:	Vogels, Frédéric



@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", }
Note:	partner: KUL; project: NESSoS; tier: NoTier"; citations: 0
Online version [Bibtex]