Style de citation APA (7e éd.)

Liang, Z., Wu, T., Zhao, R., Xue, B., Wang, J., Yang, W., . . . Liu, W. (2024). UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

Style de citation Chicago (17e éd.)

Liang, Zhen, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, et Wanwei Liu. UR4NNV: Neural Network Verification, Under-approximation Reachability Works! 2024.

Style de citation MLA (9e éd.)

Liang, Zhen, et al. UR4NNV: Neural Network Verification, Under-approximation Reachability Works! 2024.