%0 Conference Paper %1 journals/entcs/ThakurLLR15 %A Thakur, Aditya V. %A Lal, Akash %A Lim, Junghee %A Reps, Thomas W. %B TAPAS@SAS %D 2013 %E Chang, Bor-Yuh Evan %I Elsevier %K dblp %P 15-32 %T PostHat and All That: Automating Abstract Interpretation. %U http://dblp.uni-trier.de/db/journals/entcs/entcs311.html#ThakurLLR15 %V 311

@inproceedings{journals/entcs/ThakurLLR15, added-at = {2022-11-10T00:00:00.000+0100}, author = {Thakur, Aditya V. and Lal, Akash and Lim, Junghee and Reps, Thomas W.}, biburl = {https://www.bibsonomy.org/bibtex/20bb57838c49f963a62c15e8334ee396f/dblp}, booktitle = {TAPAS@SAS}, crossref = {conf/tapas2/2013}, editor = {Chang, Bor-Yuh Evan}, ee = {https://www.wikidata.org/entity/Q113317813}, interhash = {e1f711ee19118007f60ee09c22c04bd6}, intrahash = {0bb57838c49f963a62c15e8334ee396f}, keywords = {dblp}, pages = {15-32}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T19:20:27.000+0200}, title = {PostHat and All That: Automating Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs311.html#ThakurLLR15}, volume = 311, year = 2013 }