Book chapter published in "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"!

1 January 2021

The book chapter “Twinning Automata and Regular Expressions for String Static Analysis”, by Negrini, L., Arceri, V., Ferrara, P., Cortesi, A., has just been published in “Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)”! Available here.