%0 Conference Paper %1 conf/vmcai/ManevichYRS05 %A Manevich, Roman %A Yahav, Eran %A Ramalingam, Ganesan %A Sagiv, Shmuel %B VMCAI %D 2005 %E Cousot, Radhia %I Springer %K dblp %P 181-198 %T Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2005.html#ManevichYRS05 %V 3385 %@ 3-540-24297-X

@inproceedings{conf/vmcai/ManevichYRS05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Manevich, Roman and Yahav, Eran and Ramalingam, Ganesan and Sagiv, Shmuel}, biburl = {https://www.bibsonomy.org/bibtex/2e6fff7436835fd721fced41a53470a55/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2005}, editor = {Cousot, Radhia}, ee = {https://doi.org/10.1007/978-3-540-30579-8_13}, interhash = {56c144b1eb005aeeb11ceca08a34e8d0}, intrahash = {e6fff7436835fd721fced41a53470a55}, isbn = {3-540-24297-X}, keywords = {dblp}, pages = {181-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:16:57.000+0200}, title = {Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2005.html#ManevichYRS05}, volume = 3385, year = 2005 }