selected publications
-
conference paper
- Verification of SGAC Access Control Policies Using Alloy and ProB. . 120-123. 2017
Close
Quang Huynh, Nghi
Publications
Contact
full name
- Nghi Quang Huynh
Publications in VIVO
Co-author Network