A quick tour of the VeriFast program verifier
Submitted by KUL on Thu, 2011-01-13 12:49
| Title | A quick tour of the VeriFast program verifier |
| Publication Type | Conference Paper |
| Year of Publication | 2010 |
| Authors | Jacobs, B., J. Smans, and F. Piessens |
| Conference Name | Programming Languages and Systems (APLAS 2010) |
| Date Published | November |
| Publisher | Springer-Verlag |
| URL | https://lirias.kuleuven.be/handle/123456789/275140 |
| DOI | http://dx.doi.org/10.1007/978-3-642-17164-2\_21 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
