%0 Conference Paper %1 conf/fmics/BlazyBY14 %A Blazy, Sandrine %A Bühler, David %A Yakobowski, Boris %B FMICS %D 2014 %E Lang, Frédéric %E Flammini, Francesco %I Springer %K dblp %P 140-154 %T Improving Static Analyses of C Programs with Conditional Predicates. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2014.html#BlazyBY14 %V 8718 %@ 978-3-319-10701-1

@inproceedings{conf/fmics/BlazyBY14, added-at = {2019-09-25T00:00:00.000+0200}, author = {Blazy, Sandrine and Bühler, David and Yakobowski, Boris}, biburl = {https://www.bibsonomy.org/bibtex/201adff02d43769e969a31b698959b8fe/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2014}, editor = {Lang, Frédéric and Flammini, Francesco}, ee = {https://doi.org/10.1007/978-3-319-10702-8_10}, interhash = {de6c14ea6461c8db1645bbfc203dfca9}, intrahash = {01adff02d43769e969a31b698959b8fe}, isbn = {978-3-319-10701-1}, keywords = {dblp}, pages = {140-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:57:10.000+0200}, title = {Improving Static Analyses of C Programs with Conditional Predicates.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2014.html#BlazyBY14}, volume = 8718, year = 2014 }