APA (7th ed.) Citation

Huynh, N., Frappier, M., Mammar, A., Laleau, R., & Desharnais, J. (2016). A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, 131, 76. https://doi.org/10.1016/j.scico.2016.04.011

Chicago Style (17th ed.) Citation

Huynh, Nghi, Marc Frappier, Amel Mammar, Régine Laleau, and Jules Desharnais. "A Formal Validation of the RBAC ANSI 2012 Standard Using B." Science of Computer Programming 131 (2016): 76. https://doi.org/10.1016/j.scico.2016.04.011.

MLA (9th ed.) Citation

Huynh, Nghi, et al. "A Formal Validation of the RBAC ANSI 2012 Standard Using B." Science of Computer Programming, vol. 131, 2016, p. 76, https://doi.org/10.1016/j.scico.2016.04.011.