%0 Conference Paper %1 conf/fossacs/CousotCM11 %A Cousot, Patrick %A Cousot, Radhia %A Mauborgne, Laurent %B FoSSaCS %D 2011 %E Hofmann, Martin %I Springer %K dblp %P 456-472 %T The Reduced Product of Abstract Domains and the Combination of Decision Procedures. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2011.html#CousotCM11 %V 6604 %@ 978-3-642-19804-5

@inproceedings{conf/fossacs/CousotCM11, added-at = {2019-02-07T00:00:00.000+0100}, author = {Cousot, Patrick and Cousot, Radhia and Mauborgne, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2eab44f75fab679194e82b88adbbd1f9a/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2011}, editor = {Hofmann, Martin}, ee = {https://doi.org/10.1007/978-3-642-19805-2_31}, interhash = {bdb8ef7c7798758a6517c766a6af5bc3}, intrahash = {eab44f75fab679194e82b88adbbd1f9a}, isbn = {978-3-642-19804-5}, keywords = {dblp}, pages = {456-472}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:06.000+0200}, title = {The Reduced Product of Abstract Domains and the Combination of Decision Procedures.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2011.html#CousotCM11}, volume = 6604, year = 2011 }