%0 Journal Article %1 journals/corr/abs-2006-02715 %A Negrini, Luca %A Arceri, Vincenzo %A Ferrara, Pietro %A Cortesi, Agostino %D 2020 %J CoRR %K dblp %T Twinning automata and regular expressions for string static analysis. %U http://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-02715 %V abs/2006.02715

@article{journals/corr/abs-2006-02715, added-at = {2021-08-24T00:00:00.000+0200}, author = {Negrini, Luca and Arceri, Vincenzo and Ferrara, Pietro and Cortesi, Agostino}, biburl = {https://www.bibsonomy.org/bibtex/2e47714665238d04ace3d0f2b1b051459/dblp}, ee = {https://arxiv.org/abs/2006.02715}, interhash = {daf9f1cf4834e221f9c0b21639d72974}, intrahash = {e47714665238d04ace3d0f2b1b051459}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:45:33.000+0200}, title = {Twinning automata and regular expressions for string static analysis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2006.html#abs-2006-02715}, volume = {abs/2006.02715}, year = 2020 }