Publication Date:
2025
Iris type:
02.02 - Postfazione/Prefazione
List of contributors:
Porello, D.; Vinci, C.; Zavatteri, M.
Book title:
OVERLAY 2024 - Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024
Published in: