APA (7th ed.) Citation

Boudardara, F., Boussif, A., Meyer, P., & Ghazel, M. (2024). A Review of Abstraction Methods Toward Verifying Neural Networks. ACM Transactions on Embedded Computing Systems, 23(4), 1. https://doi.org/10.1145/3617508

Chicago Style (17th ed.) Citation

Boudardara, Fateh, Abderraouf Boussif, Pierre-Jean Meyer, and Mohamed Ghazel. "A Review of Abstraction Methods Toward Verifying Neural Networks." ACM Transactions on Embedded Computing Systems 23, no. 4 (2024): 1. https://doi.org/10.1145/3617508.

MLA (9th ed.) Citation

Boudardara, Fateh, et al. "A Review of Abstraction Methods Toward Verifying Neural Networks." ACM Transactions on Embedded Computing Systems, vol. 23, no. 4, 2024, p. 1, https://doi.org/10.1145/3617508.