CINECA IRIS Institutional Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishRelational String Abstract Domains / Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro. - 13182(2022), pp. 20-42. ((Intervento presentato al convegno 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022) tenutosi a Philadelphia, USA [10.1007/978-3-030-94583-1_2].
| Titolo: | Relational String Abstract Domains | |
| Autori: | ||
| Data di pubblicazione: | 2022 | |
| Serie: | ||
| Citazione: | Relational String Abstract Domains / Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro. - 13182(2022), pp. 20-42. ((Intervento presentato al convegno 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022) tenutosi a Philadelphia, USA [10.1007/978-3-030-94583-1_2]. | |
| Handle: | http://hdl.handle.net/11381/2914748 | |
| ISBN: | 978-3-030-94582-4 978-3-030-94583-1 | |
| Appare nelle tipologie: | 4.1b Atto convegno Volume |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2022