%0 Conference Paper %1 conf/tase/LiGSW08 %A Li, Li %A Gu, Ming %A Song, Xiaoyu %A Wang, Jianmin %B TASE %D 2008 %I IEEE Computer Society %K dblp %P 129-132 %T Effective Predicate Abstraction for Program Verification. %U http://dblp.uni-trier.de/db/conf/tase/tase2008.html#LiGSW08 %@ 978-0-7695-3249-3

@inproceedings{conf/tase/LiGSW08, added-at = {2014-12-01T00:00:00.000+0100}, author = {Li, Li and Gu, Ming and Song, Xiaoyu and Wang, Jianmin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20a23ee53211d6c23ca7c1b508c71b552/dblp}, booktitle = {TASE}, crossref = {conf/tase/2008}, ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.18}, interhash = {2ce4521b46af0cb67dfebd60aa200c80}, intrahash = {0a23ee53211d6c23ca7c1b508c71b552}, isbn = {978-0-7695-3249-3}, keywords = {dblp}, pages = {129-132}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:52:39.000+0100}, title = {Effective Predicate Abstraction for Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2008.html#LiGSW08}, year = 2008 }