Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Marie-Laure Potet
Latest
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
Cite
×