Ngo, T. M., Stoelinga, M., & Huisman, M. (2014). Effective verification of confidentiality for multi-threaded programs. Journal of Computer Security, 22(2), 269. https://doi.org/10.3233/JCS-130492
Chicago Style (17th ed.) CitationNgo, Tri Minh, Mariëlle Stoelinga, and Marieke Huisman. "Effective Verification of Confidentiality for Multi-threaded Programs." Journal of Computer Security 22, no. 2 (2014): 269. https://doi.org/10.3233/JCS-130492.
MLA (9th ed.) CitationNgo, Tri Minh, et al. "Effective Verification of Confidentiality for Multi-threaded Programs." Journal of Computer Security, vol. 22, no. 2, 2014, p. 269, https://doi.org/10.3233/JCS-130492.
Warning: These citations may not always be 100% accurate.