APA (7th ed.) Citation

ERATA, F., DENG, S., ZAGHLOUL, F., XIONG, W., DEMIR, O., & SZEFER, J. (2023). Survey of Approaches and Techniques for Security Verification of Computer Systems. ACM Journal on Emerging Technologies in Computing Systems, 19(1), 1. https://doi.org/10.1145/3564785

Chicago Style (17th ed.) Citation

ERATA, FERHAT, SHUWEN DENG, FAISAL ZAGHLOUL, WENJIE XIONG, ONUR DEMIR, and JAKUB SZEFER. "Survey of Approaches and Techniques for Security Verification of Computer Systems." ACM Journal on Emerging Technologies in Computing Systems 19, no. 1 (2023): 1. https://doi.org/10.1145/3564785.

MLA (9th ed.) Citation

ERATA, FERHAT, et al. "Survey of Approaches and Techniques for Security Verification of Computer Systems." ACM Journal on Emerging Technologies in Computing Systems, vol. 19, no. 1, 2023, p. 1, https://doi.org/10.1145/3564785.