- Record: found
- Abstract: not found
- Article: not found
Software verification with VeriFast: Industrial case studies
Pieter Philippaerts ,
Jan Tobias Mühlberg ,
Willem Penninckx ,
Jan Smans ,
Bart Jacobs ,
Frank Piessens
March 2014
March 2014
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.