%0 Conference Paper %1 conf/sas/DorRS01 %A Dor, Nurit %A Rodeh, Michael %A Sagiv, Shmuel %B SAS %D 2001 %E Cousot, Patrick %I Springer %K dblp %P 194-212 %T Cleanness Checking of String Manipulations in C Programs via Integer Analysis. %U http://dblp.uni-trier.de/db/conf/sas/sas2001.html#DorRS01 %V 2126 %@ 3-540-42314-1

@inproceedings{conf/sas/DorRS01, added-at = {2017-05-24T00:00:00.000+0200}, author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel}, biburl = {https://www.bibsonomy.org/bibtex/2c86bdafec8d57b5eac9e407e76f46218/dblp}, booktitle = {SAS}, crossref = {conf/sas/2001}, editor = {Cousot, Patrick}, ee = {https://doi.org/10.1007/3-540-47764-0_12}, interhash = {72b2b22d5f0ab8e75f592be9fb7ca194}, intrahash = {c86bdafec8d57b5eac9e407e76f46218}, isbn = {3-540-42314-1}, keywords = {dblp}, pages = {194-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:44:46.000+0200}, title = {Cleanness Checking of String Manipulations in C Programs via Integer Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2001.html#DorRS01}, volume = 2126, year = 2001 }