Home Publications

Solving the VerifyThis 2012 challenges with VeriFast

Research Area: Uncategorized Year: 2014
Type of Publication: Article
Authors:
  • Jacobs, Bart
  • Smans, Jan
  • Piessens, Frank
Journal: International Journal on Software Tools for Technology Transfer
Journal's impact factor: 1.143
BibTex:
Note:
partner: KUL; projects: NESSoS; citations: 0
[Bibtex]