%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 B. %I Springer %K dblp %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 = {2023-02-25T00:00:00.000+0100}, author = {Ball, Thomas and Bounimova, Ella and Levin, Vladimir and Kumar, Rahul and Lichtenberg, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/21df58bd4e069325c4e2dc9b0c8f3cbbf/dblp}, booktitle = {CAV}, crossref = {conf/cav/2010}, editor = {Touili, Tayssir and Cook, Byron and Jackson, Paul B.}, ee = {https://doi.org/10.1007/978-3-642-14295-6_11}, interhash = {4e81c7dec3491c2a6c92d2e38402205e}, intrahash = {1df58bd4e069325c4e2dc9b0c8f3cbbf}, isbn = {978-3-642-14294-9}, keywords = {dblp}, pages = {119-122}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:35:11.000+0200}, title = {The Static Driver Verifier Research Platform.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2010.html#BallBLKL10}, volume = 6174, year = 2010 }