%0 Conference Paper %1 conf/sefm/ParrinoGGF11 %A Parrino, Bruno Cuervo %A Galeotti, Juan P. %A Garbervetsky, Diego %A Frias, Marcelo F. %B SEFM %D 2011 %E Barthe, Gilles %E Pardo, Alberto %E Schneider, Gerardo %I Springer %K dblp %P 138-154 %T A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#ParrinoGGF11 %V 7041 %@ 978-3-642-24689-0

@inproceedings{conf/sefm/ParrinoGGF11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Parrino, Bruno Cuervo and Galeotti, Juan P. and Garbervetsky, Diego and Frias, Marcelo F.}, biburl = {https://www.bibsonomy.org/bibtex/24b64ed79e5c1a65b671227c7af2199a1/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2011}, editor = {Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo}, ee = {https://doi.org/10.1007/978-3-642-24690-6_11}, interhash = {c9899bd922ea36b55f2a518239a19af6}, intrahash = {4b64ed79e5c1a65b671227c7af2199a1}, isbn = {978-3-642-24689-0}, keywords = {dblp}, pages = {138-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:34:06.000+0200}, title = {A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#ParrinoGGF11}, volume = 7041, year = 2011 }