%0 Conference Paper %1 conf/sas/ChristensenMS03 %A Christensen, Aske Simon %A Møller, Anders %A Schwartzbach, Michael I. %B SAS %D 2003 %E Cousot, Radhia %I Springer %K dblp %P 1-18 %T Precise Analysis of String Expressions. %U http://dblp.uni-trier.de/db/conf/sas/sas2003.html#ChristensenMS03 %V 2694 %@ 3-540-40325-6

@inproceedings{conf/sas/ChristensenMS03, added-at = {2017-05-24T00:00:00.000+0200}, author = {Christensen, Aske Simon and Møller, Anders and Schwartzbach, Michael I.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/253a20331d18db7345b5bcdc7c9476da5/dblp}, booktitle = {SAS}, crossref = {conf/sas/2003}, editor = {Cousot, Radhia}, ee = {https://doi.org/10.1007/3-540-44898-5_1}, interhash = {9c0f374d18566e329d06bb4879b81a17}, intrahash = {53a20331d18db7345b5bcdc7c9476da5}, isbn = {3-540-40325-6}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:58:06.000+0200}, title = {Precise Analysis of String Expressions.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2003.html#ChristensenMS03}, volume = 2694, year = 2003 }