APA (7th ed.) Citation

Belmonte, G., Bussi, L., Ciancia, V., Latella, D., Massink, M., Goos, G., . . . Margaria, T. (2025). Towards Hybrid-AI in Imaging Using VoxLogicA. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV, 15222, 205-221. https://doi.org/10.1007/978-3-031-75387-9_13

Chicago Style (17th ed.) Citation

Belmonte, Gina, et al. "Towards Hybrid-AI in Imaging Using VoxLogicA." Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV 15222 (2025): 205-221. https://doi.org/10.1007/978-3-031-75387-9_13.

MLA (9th ed.) Citation

Belmonte, Gina, et al. "Towards Hybrid-AI in Imaging Using VoxLogicA." Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part IV, vol. 15222, 2025, pp. 205-221, https://doi.org/10.1007/978-3-031-75387-9_13.