Wu, H., Isac, O., Zeljić, A., Tagomori, T., Daggitt, M., Kokke, W., . . . Barrett, C. (2024). Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.
Citazione stile Chigago Style (17a edizione)Wu, Haoze, et al. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. 2024.
Citatione MLA (9a ed.)Wu, Haoze, et al. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.