%0 Conference Paper %1 conf/sas/ChristakisW16 %A Christakis, Maria %A Wüstholz, Valentin %B SAS %D 2016 %E Rival, Xavier %I Springer %K dblp %P 105-125 %T Bounded Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/sas/sas2016.html#ChristakisW16 %V 9837 %@ 978-3-662-53412-0

@inproceedings{conf/sas/ChristakisW16, added-at = {2017-05-24T00:00:00.000+0200}, author = {Christakis, Maria and Wüstholz, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/2e9d92b949b708c99b3c9a6ada137808c/dblp}, booktitle = {SAS}, crossref = {conf/sas/2016}, editor = {Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-662-53413-7_6}, interhash = {52d7bacc77b965d3df283b891e2caac0}, intrahash = {e9d92b949b708c99b3c9a6ada137808c}, isbn = {978-3-662-53412-0}, keywords = {dblp}, pages = {105-125}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:45:05.000+0200}, title = {Bounded Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2016.html#ChristakisW16}, volume = 9837, year = 2016 }