Tarsis: An effective automata‐based abstract domain for string analysis / Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro. - In: JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION: RESEARCH AND PRACTICE. - ISSN 2047-7473. - (2024). [10.1002/smr.2647]
Tarsis: An effective automata‐based abstract domain for string analysis
Arceri, Vincenzo
;
2024-01-01
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.