@inproceedings{simon02analyzing, author = {A. Simon and A. King}, title = {Analyzing {S}tring {B}uffers in {C}}, booktitle = {Algebraic Methodology and Software Technology}, editor = {H. Kirchner and C. Ringeissen}, month = {September}, year = 2002, pages = {365--379}, series = {LNCS}, volume = {2422}, publisher = {Springer}, doi = {10.1007/3-540-45719-4_25}, address = {Reunion Island, France}, }