Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Julien Lamboley
Latest
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
Cite
×