%0 Conference Paper %1 conf/cav/BallBLKL10 %A Ball, Thomas %A Bounimova, Ella %A Levin, Vladimir %A Kumar, Rahul %A Lichtenberg, Jakob %B CAV %D 2010 %E Touili, Tayssir %E Cook, Byron %E Jackson, Paul %I Springer %K masterthesis smt solver theorem verification %P 119-122 %T The Static Driver Verifier Research Platform. %U http://dblp.uni-trier.de/db/conf/cav/cav2010.html#BallBLKL10 %V 6174 %@ 978-3-642-14294-9

@inproceedings{conf/cav/BallBLKL10, added-at = {2013-01-04T16:54:50.000+0100}, author = {Ball, Thomas and Bounimova, Ella and Levin, Vladimir and Kumar, Rahul and Lichtenberg, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/25d65ebdb7c5059c2c860016f90ead04d/kaptoxic}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul}, ee = {http://dx.doi.org/10.1007/978-3-642-14295-6_11}, interhash = {4e81c7dec3491c2a6c92d2e38402205e}, intrahash = {5d65ebdb7c5059c2c860016f90ead04d}, isbn = {978-3-642-14294-9}, keywords = {masterthesis smt solver theorem verification}, pages = {119-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-01-04T16:56:11.000+0100}, title = {The Static Driver Verifier Research Platform.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#BallBLKL10}, volume = 6174, year = 2010 }