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) |