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