Bjørner, K., Judson, S., Cano, F., Goldman, D., Shoemaker, N., Piskac, R., . . . Yung, M. (2024). Formal XAI via Syntax-Guided Synthesis. Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, 14380, 119. https://doi.org/10.1007/978-3-031-46002-9_7
Παραπομπή σε μορφή Chicago (17η εκδ.)Bjørner, Katrine, et al. "Formal XAI via Syntax-Guided Synthesis." Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings 14380 (2024): 119. https://doi.org/10.1007/978-3-031-46002-9_7.
Παραπομπή σε μορφή MLA (9th εκδ.)Bjørner, Katrine, et al. "Formal XAI via Syntax-Guided Synthesis." Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, vol. 14380, 2024, p. 119, https://doi.org/10.1007/978-3-031-46002-9_7.