@misc{indiciae102bfa36a836,
  title = {Twinning automata and regular expressions for string static analysis},
  author = {Luca Negrini and Vincenzo Arceri and Pietro Ferrara and Agostino Cortesi},
  year = {2020},
  doi = {10.1002/smr.2647},
  url = {https://arxiv.org/abs/2006.02715},
  note = {Source identifier: 2006.02715}
}