2. Professors
  3. LA TORRE Salvatore
  4. Research
  5. Publications

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)