Article published in "arXiv"!
1 January 2020
The article “Twinning automata and regular expressions for string static analysis”, by Negrini, L., Arceri, V., Ferrara, P., Cortesi, A., has just been published in “arXiv”! Available here.
1 January 2020
The article “Twinning automata and regular expressions for string static analysis”, by Negrini, L., Arceri, V., Ferrara, P., Cortesi, A., has just been published in “arXiv”! Available here.