Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Jules Desharnais
Latest
Validating the RBAC ANSI 2012 Standard Using B
Cite
×