Precise analysis of string expressions (2003)

by Aske Simon Christensen , Anders Møller , Michael I. Schwartzbach
Venue:In Proc. 10th International Static Analysis Symposium, SAS ’03, volume 2694 of LNCS
Citations:157 - 15 self