APA (7th ed.) Citation

Brix, C., Müller, M. N., Bak, S., Johnson, T. T., & Liu, C. (2023). First three years of the international verification of neural networks competition (VNN-COMP). International journal on software tools for technology transfer, 25(3), 329-339. https://doi.org/10.1007/s10009-023-00703-4

Chicago Style (17th ed.) Citation

Brix, Christopher, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, and Changliu Liu. "First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)." International Journal on Software Tools for Technology Transfer 25, no. 3 (2023): 329-339. https://doi.org/10.1007/s10009-023-00703-4.

MLA (9th ed.) Citation

Brix, Christopher, et al. "First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)." International Journal on Software Tools for Technology Transfer, vol. 25, no. 3, 2023, pp. 329-339, https://doi.org/10.1007/s10009-023-00703-4.