Annotation inference for separation logic based verifiers
Submitted by KUL on Tue, 2012-01-24 22:43
| Title | Annotation inference for separation logic based verifiers |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Refereed Designation | Refereed |
| Authors | Vogels, F., B. Jacobs, F. Piessens, and J. Smans |
| Conference Name | Formal Techniques for Distributed Systems (FMOODS/FORTE 2011) |
| Publisher | Springer |
| Notes | Reykjavik, Iceland, 6-9 June 2011 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
