Precise analysis of string expressions (2003)

by A S Christensen, A Moller, M I Schwartzbach
Venue:In SAS 2003. LNCS