@conference{KULeuven-336725,
author = "Willem Penninckx and Jan Tobias M{\"u}hlberg and Jan Smans and Bart Jacobs and Frank Piessens",
booktitle = "NASA Formal Methods",
month = "April",
note = "partner: KUL; projects: SecureChange, NESSoS; tier: NoTier; citations: 5",
pages = "210--215",
publisher = "Springer",
title = "{S}ound formal verification of {L}inuxtextquotesingles {USB} {BP} keyboard driver",
url = "https://lirias.kuleuven.be/handle/123456789/336725",
volume = "7226",
year = "2012",
}