Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2022 | |
| Articolo in rivista | |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. Vol. 44. Pag.1-50 ISSN:0164-0925. | |
| Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1145/3478536 Codice identificativo SCOPUS: 2-s2.0-85123441720 | |
| Visualizza sul Database dei Prodotti (IRIS) |
