%0 Conference Paper %1 conf/c3s2e/AbalP13 %A Abal, Iago %A Pinto, Jorge Sousa %B C3S2E %D 2013 %E Desai, Bipin C. %E Almeida, Ana Maria %E Bernardino, Jorge %E Mudur, Sudhir P. %I ACM %K dblp %P 132-133 %T Towards a mostly-automated prover for bit-vector arithmetic. %U http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2013.html#AbalP13 %@ 978-1-4503-1976-8

@inproceedings{conf/c3s2e/AbalP13, added-at = {2018-11-06T00:00:00.000+0100}, author = {Abal, Iago and Pinto, Jorge Sousa}, biburl = {https://www.bibsonomy.org/bibtex/2a85e09e4914e6a911da64e025fa9e335/dblp}, booktitle = {C3S2E}, crossref = {conf/c3s2e/2013}, editor = {Desai, Bipin C. and Almeida, Ana Maria and Bernardino, Jorge and Mudur, Sudhir P.}, ee = {https://doi.org/10.1145/2494444.2494445}, interhash = {14002bf6bf4e31cdfa2d8decd1edcf3d}, intrahash = {a85e09e4914e6a911da64e025fa9e335}, isbn = {978-1-4503-1976-8}, keywords = {dblp}, pages = {132-133}, publisher = {ACM}, timestamp = {2019-10-31T11:40:01.000+0100}, title = {Towards a mostly-automated prover for bit-vector arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/c3s2e/c3s2e2013.html#AbalP13}, year = 2013 }