%0 Conference Paper %1 conf/cav/GulwaniT07 %A Gulwani, Sumit %A Tiwari, Ashish %B CAV %D 2007 %E Damm, Werner %E Hermanns, Holger %I Springer %K dblp %P 379-392 %T An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. %U http://dblp.uni-trier.de/db/conf/cav/cav2007.html#GulwaniT07 %V 4590 %@ 978-3-540-73367-6

@inproceedings{conf/cav/GulwaniT07, added-at = {2019-11-06T00:00:00.000+0100}, author = {Gulwani, Sumit and Tiwari, Ashish}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/274f8ee4d965c70e0e27397318ffd5e3c/dblp}, booktitle = {CAV}, crossref = {conf/cav/2007}, editor = {Damm, Werner and Hermanns, Holger}, ee = {https://doi.org/10.1007/978-3-540-73368-3_42}, interhash = {4f2fa1fe692be29759efd6c7b1961585}, intrahash = {74f8ee4d965c70e0e27397318ffd5e3c}, isbn = {978-3-540-73367-6}, keywords = {dblp}, pages = {379-392}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-26T08:22:38.000+0100}, title = {An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2007.html#GulwaniT07}, volume = 4590, year = 2007 }