%0 Conference Paper %1 conf/sss/ChenK12 %A Chen, Jingshu %A Kulkarni, Sandeep S. %B SSS %D 2012 %E Richa, Andréa W. %E Scheideler, Christian %I Springer %K dblp %P 179-182 %T Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. %U http://dblp.uni-trier.de/db/conf/sss/sss2012.html#ChenK12 %V 7596 %@ 978-3-642-33535-8

@inproceedings{conf/sss/ChenK12, added-at = {2017-05-25T00:00:00.000+0200}, author = {Chen, Jingshu and Kulkarni, Sandeep S.}, biburl = {https://www.bibsonomy.org/bibtex/2df17b434bb6bcf1200492029759d0e60/dblp}, booktitle = {SSS}, crossref = {conf/sss/2012}, editor = {Richa, Andréa W. and Scheideler, Christian}, ee = {https://doi.org/10.1007/978-3-642-33536-5_17}, interhash = {c420575b2c814125345b0e4582ef8096}, intrahash = {df17b434bb6bcf1200492029759d0e60}, isbn = {978-3-642-33535-8}, keywords = {dblp}, pages = {179-182}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:26:01.000+0200}, title = {Brief Announcement: Verification of Stabilizing Programs with SMT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sss/sss2012.html#ChenK12}, volume = 7596, year = 2012 }