%0 Conference Paper %1 conf/tacas/ChatterjeeLQR07 %A Chatterjee, Shaunak %A Lahiri, Shuvendu K. %A Qadeer, Shaz %A Rakamaric, Zvonimir %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K dblp %P 19-33 %T A Reachability Predicate for Analyzing Low-Level Software. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#ChatterjeeLQR07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/ChatterjeeLQR07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Chatterjee, Shaunak and Lahiri, Shuvendu K. and Qadeer, Shaz and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/270c9f9fbb46cbab5b9b0ae97de659102/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_4}, interhash = {85acada8048806ae8468d488a9dfaef1}, intrahash = {70c9f9fbb46cbab5b9b0ae97de659102}, isbn = {978-3-540-71208-4}, keywords = {dblp}, pages = {19-33}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:22.000+0200}, title = {A Reachability Predicate for Analyzing Low-Level Software.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#ChatterjeeLQR07}, volume = 4424, year = 2007 }