%0 Journal Article %1 journals/corr/LiuW17c %A Liu, Peizun %A Wahl, Thomas %D 2017 %J CoRR %K dblp %T IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report). %U http://dblp.uni-trier.de/db/journals/corr/corr1706.html#LiuW17c %V abs/1706.03167

@article{journals/corr/LiuW17c, added-at = {2018-08-13T00:00:00.000+0200}, author = {Liu, Peizun and Wahl, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25158351117fb4495facb076f43023559/dblp}, ee = {http://arxiv.org/abs/1706.03167}, interhash = {c274bb51988d0a77c1fc10360393060b}, intrahash = {5158351117fb4495facb076f43023559}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:10:41.000+0200}, title = {IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1706.html#LiuW17c}, volume = {abs/1706.03167}, year = 2017 }