@article{kulbjverifythis,
author = "Bart Jacobs and Jan Smans and Frank Piessens",
journal = "International Journal on Software Tools for Technology Transfer",
note = "partner: KUL; projects: NESSoS; citations: 0",
title = "{S}olving the {V}erify{T}his 2012 challenges with {V}eri{F}ast",
url = "https://lirias.kuleuven.be/handle/123456789/442985",
year = "2014",
}