Solving the VerifyThis 2012 challenges with VeriFast
Research Area: | Uncategorized | Year: | 2014 |
---|---|---|---|
Type of Publication: | Article | ||
Authors: |
|
||
Journal: | International Journal on Software Tools for Technology Transfer | ||
Journal's impact factor: | 1.143 | ||
BibTex: |
|||
Note: | partner: KUL; projects: NESSoS; citations: 0 |
||
[Bibtex] |