Data di Pubblicazione:
2025
Tipologia CRIS:
02.02 - Postfazione/Prefazione
Elenco autori:
Porello, D.; Vinci, C.; Zavatteri, M.
Link alla scheda completa:
Titolo del libro:
OVERLAY 2024 - Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis 2024
Pubblicato in: