Isabella Mastroeni (University of Verona

Static Program Analysis for String Manipulation Languages

By Vincenzo Arceri (University of Verona