APA (7th ed.) Citation

Wu, T., Xiong, S., Manino, E., Stockwell, G., & Cordeiro, L. C. (2024). Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.

Chicago Style (17th ed.) Citation

Wu, Tong, Shale Xiong, Edoardo Manino, Gareth Stockwell, and Lucas C. Cordeiro. Verifying Components of Arm(R) Confidential Computing Architecture with ESBMC. 2024.

MLA (9th ed.) Citation

Wu, Tong, et al. Verifying Components of Arm(R) Confidential Computing Architecture with ESBMC. 2024.