%0 Conference Paper %1 conf/ershov/VeanesB09 %A Veanes, Margus %A Bjørner, Nikolaj S. %B Ershov Memorial Conference %D 2009 %E Pnueli, Amir %E Virbitskaite, Irina B. %E Voronkov, Andrei %I Springer %K dblp %P 388-400 %T Symbolic Bounded Conformance Checking of Model Programs. %U http://dblp.uni-trier.de/db/conf/ershov/ershov2009.html#VeanesB09 %V 5947 %@ 978-3-642-11485-4

@inproceedings{conf/ershov/VeanesB09, added-at = {2022-04-14T00:00:00.000+0200}, author = {Veanes, Margus and Bjørner, Nikolaj S.}, biburl = {https://www.bibsonomy.org/bibtex/2bacb9ff073b411d6a5af15f3dce5ad1d/dblp}, booktitle = {Ershov Memorial Conference}, crossref = {conf/ershov/2009}, editor = {Pnueli, Amir and Virbitskaite, Irina B. and Voronkov, Andrei}, ee = {https://doi.org/10.1007/978-3-642-11486-1_33}, interhash = {da2026cc604bcadae7441edd3975d3b5}, intrahash = {bacb9ff073b411d6a5af15f3dce5ad1d}, isbn = {978-3-642-11485-4}, keywords = {dblp}, pages = {388-400}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:08:02.000+0200}, title = {Symbolic Bounded Conformance Checking of Model Programs.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2009.html#VeanesB09}, volume = 5947, year = 2009 }