The Belgian electronic identity card: a verification case study
Submitted by KUL on Tue, 2012-01-24 22:40
| Title | The Belgian electronic identity card: a verification case study |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Philippaerts, P., F. Vogels, J. Smans, B. Jacobs, and F. Piessens |
| Conference Name | Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11) |
| Publisher | Elsevier |
| Notes | Newcastle (UK), 12-14 September 2011, to appear |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
