Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2024 | |
| Articolo in rivista | |
| CHC-Based Verification of Programs Through Graph Decompositions SN COMPUTER SCIENCE. Vol. 5. Pag.1-28 ISSN:2661-8907. | |
| Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/s42979-024-03371-6 Codice identificativo SCOPUS: 2-s2.0-85209549238 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2024 | |
| Contributo in Atti di convegno | |
| Static Data Race Detection via Lazy Sequentialization. In: Networked Systems. NETYS 2024 Springer Vol.14783, Pag.124-141 ISBN:9783031673207; 9783031673214 | |
| 12th International Conference on Networked Systems (Netys 2024) Rabat, Morocco 29-31 maggio 2024 | |
| Fischer, Bernd; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro; Schrammel, Peter | |
| Digital Object Identifier (DOI): 10.1007/978-3-031-67321-4_8 | |
| Visualizza sul Database dei Prodotti (IRIS) |
