Verification of unloadable modules
Submitted by KUL on Tue, 2012-01-24 21:42
| Title | Verification of unloadable modules |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Jacobs, B., J. Smans, and F. Piessens |
| Refereed Designation | Refereed |
| Conference Name | 17th International Symposium on Formal Methods (FM 2011) |
| Publisher | Springer |
| Notes | Limerick (Ireland), 20-24 June 2011 |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
