%0 Conference Paper %1 conf/tacas/ShvedMM12 %A Shved, Pavel %A Mandrykin, Mikhail U. %A Mutilin, Vadim S. %B TACAS %D 2012 %E Flanagan, Cormac %E König, Barbara %I Springer %K dblp %P 525-527 %T Predicate Analysis with BLAST 2.7 - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#ShvedMM12 %V 7214 %@ 978-3-642-28755-8

@inproceedings{conf/tacas/ShvedMM12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Shved, Pavel and Mandrykin, Mikhail U. and Mutilin, Vadim S.}, biburl = {https://www.bibsonomy.org/bibtex/2ad1819b62761983e41c8f25d5caa1ed9/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2012}, editor = {Flanagan, Cormac and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-28756-5_39}, interhash = {52dd429b07e9c2ad54c19ca13ee1b9c5}, intrahash = {ad1819b62761983e41c8f25d5caa1ed9}, isbn = {978-3-642-28755-8}, keywords = {dblp}, pages = {525-527}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:16.000+0200}, title = {Predicate Analysis with BLAST 2.7 - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#ShvedMM12}, volume = 7214, year = 2012 }