Precise analysis of string expressions (2003)

by A S Christensen, A Møller, M I Schwartzbach
Venue:In SAS 03, volume 2694 of LNCS