M.I.: Precise analysis of string expressions (0)

by A S Christensen, A Møller, Schwartzbach
Venue:In: Proceedings 10th International Static Analysis Symposium (SAS). LNCS