Salvatore LA TORRE | Publications
Salvatore LA TORRE Publications
| 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 ISI: WOS:000748389400001 Codice identificativo SCOPUS: 2-s2.0-85123441720 | |
| Show it in Product Database (IRIS) |
