Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2021 | |
| Contributo in volume (Capitolo o Saggio) | |
| Automated Planning Through Program Verification. In Dario Della Monica, Gian Luca Pozzato, Enrico Scala Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis Pag.13-17 CEUR. | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Versione online | |
| Codice identificativo SCOPUS: 2-s2.0-85118200185 | |
| Visualizza sul Database dei Prodotti (IRIS) |
