Sound formal verification of Linuxtextquotesingles USB BP keyboard driver

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

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Penninckx, Willem Mühlberg, Jan Tobias Smans, Jan Jacobs, Bart Piessens, Frank
Volume:	7226
Book title:	NASA Formal Methods
Pages:	210-215

Month:	April


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