@article{KULeuven-388689,
author = "Pieter Philippaerts and Jan Tobias M{\"u}hlberg and Willem Penninckx and Jan Smans and Bart Jacobs and Frank Piessens",
doi = "10.1016/j.scico.2013.01.006",
issn = "0167-6423",
journal = "Science of Computer Programming",
month = "February",
note = "partner: KUL; project: NESSoS,SecureChange; citations: 0",
title = "{S}oftware verification with {V}eri{F}ast: {I}ndustrial case studies",
url = "https://lirias.kuleuven.be/handle/123456789/388689",
year = "2013",
}