Dewidar, Hazem; Umili, Elena - 04b Atto di convegno in volume
congresso: 7th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (Bologna, Italy)
libro: OOVERLAY 2025 Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2025 - ()