Software verification with VeriFast: Industrial case studies

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

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	Article
Authors:	Philippaerts, Pieter Mühlberg, Jan Tobias Penninckx, Willem Smans, Jan Jacobs, Bart Piessens, Frank
Journal:	Science of Computer Programming

Month:	February
ISSN:	0167-6423
Journal's impact factor:	0.568
@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", }
Note:	partner: KUL; project: NESSoS,SecureChange; citations: 0
Online version [Bibtex]