![](/img/cover-not-exists.png)
Software verification with VeriFast: Industrial case studies
Philippaerts, Pieter, Mühlberg, Jan Tobias, Penninckx, Willem, Smans, Jan, Jacobs, Bart, Piessens, FrankVolume:
82
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2013.01.006
Date:
March, 2014
File:
PDF, 763 KB
english, 2014