%0 Book Section %1 books/sp/15/ChocklerR15 %A Chockler, Hana %A Ruah, Sitvanit %B Validation of Evolving Software %D 2015 %E Chockler, Hana %E Kroening, Daniel %E Mariani, Leonardo %E Sharygina, Natasha %I Springer %K dblp %P 25-36 %T Lightweight Static Analysis Check of Upgrades in C/C++ Software. %U http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#ChocklerR15 %@ 978-3-319-10623-6

@incollection{books/sp/15/ChocklerR15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Chockler, Hana and Ruah, Sitvanit}, biburl = {https://www.bibsonomy.org/bibtex/2c82a64c04d41a71fac7767bf5102759f/dblp}, booktitle = {Validation of Evolving Software}, crossref = {books/sp/CKMS2015}, editor = {Chockler, Hana and Kroening, Daniel and Mariani, Leonardo and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-319-10623-6_4}, interhash = {8fe44454302d7b67440d8f9e75a056ec}, intrahash = {c82a64c04d41a71fac7767bf5102759f}, isbn = {978-3-319-10623-6}, keywords = {dblp}, pages = {25-36}, publisher = {Springer}, timestamp = {2019-10-22T13:20:08.000+0200}, title = {Lightweight Static Analysis Check of Upgrades in C/C++ Software.}, url = {http://dblp.uni-trier.de/db/books/collections/CKMS2015.html#ChocklerR15}, year = 2015 }