Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 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 | |
| Show it in Product Database (IRIS) |
