%0 Conference Paper %1 conf/sas/ChenC15 %A Chen, Junjie %A Cousot, Patrick %B SAS %D 2015 %E Blazy, Sandrine %E Jensen, Thomas P. %I Springer %K dblp %P 36-53 %T A Binary Decision Tree Abstract Domain Functor. %U http://dblp.uni-trier.de/db/conf/sas/sas2015.html#ChenC15 %V 9291 %@ 978-3-662-48287-2

@inproceedings{conf/sas/ChenC15, added-at = {2017-05-24T00:00:00.000+0200}, author = {Chen, Junjie and Cousot, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/21f3953025a2fa38fd2248925e368947e/dblp}, booktitle = {SAS}, crossref = {conf/sas/2015}, editor = {Blazy, Sandrine and Jensen, Thomas P.}, ee = {https://doi.org/10.1007/978-3-662-48288-9_3}, interhash = {770fa460d635ac40b93cde9ed337ec8d}, intrahash = {1f3953025a2fa38fd2248925e368947e}, isbn = {978-3-662-48287-2}, keywords = {dblp}, pages = {36-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T12:36:43.000+0200}, title = {A Binary Decision Tree Abstract Domain Functor.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2015.html#ChenC15}, volume = 9291, year = 2015 }