Ferrara, Pietro
- Twinning automata and regular expressions for string static analysis
2020/06/04 by Negrini, Luca, Arceri, Vincenzo, Ferrara, Pietro +1 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Software Engineering (cs.SE)