TY  - RPRT
TI  - Twinning automata and regular expressions for string static analysis
AU  - Luca Negrini
AU  - Vincenzo Arceri
AU  - Pietro Ferrara
AU  - Agostino Cortesi
PY  - 2020
DO  - 10.1002/smr.2647
UR  - https://arxiv.org/abs/2006.02715
ID  - 2006.02715
ER  -