%0 Conference Paper %1 conf/icfem/WinterZHKCL13 %A Winter, Kirsten %A Zhang, Chenyi %A Hayes, Ian J. %A Keynes, Nathan %A Cifuentes, Cristina %A Li, Lian %B ICFEM %D 2013 %E Groves, Lindsay %E Sun, Jing %I Springer %K %P 415-430 %T Path-Sensitive Data Flow Analysis Simplified. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#WinterZHKCL13 %V 8144 %@ 978-3-642-41201-1

@inproceedings{conf/icfem/WinterZHKCL13, added-at = {2023-12-13T02:00:29.000+0100}, author = {Winter, Kirsten and Zhang, Chenyi and Hayes, Ian J. and Keynes, Nathan and Cifuentes, Cristina and Li, Lian}, biburl = {https://www.bibsonomy.org/bibtex/2dd32989448c0fad846bf7ccf74315cf7/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2013}, editor = {Groves, Lindsay and Sun, Jing}, ee = {https://doi.org/10.1007/978-3-642-41202-8_27}, interhash = {79963a8c9a2102c4923f0a4818785ed2}, intrahash = {dd32989448c0fad846bf7ccf74315cf7}, isbn = {978-3-642-41201-1}, keywords = {}, pages = {415-430}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T02:00:29.000+0100}, title = {Path-Sensitive Data Flow Analysis Simplified.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#WinterZHKCL13}, volume = 8144, year = 2013 }