%0 Journal Article %1 journals/corr/abs-1902-06067 %A Feng, Yu %A Torlak, Emina %A Bodík, Rastislav %D 2019 %J CoRR %K dblp %T Precise Attack Synthesis for Smart Contracts. %U http://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-06067 %V abs/1902.06067

@article{journals/corr/abs-1902-06067, added-at = {2022-03-28T00:00:00.000+0200}, author = {Feng, Yu and Torlak, Emina and Bodík, Rastislav}, biburl = {https://www.bibsonomy.org/bibtex/2f7277477387e8f729f4b05351e39fb44/dblp}, ee = {http://arxiv.org/abs/1902.06067}, interhash = {89256f29109765436828bf130757939f}, intrahash = {f7277477387e8f729f4b05351e39fb44}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:24:58.000+0200}, title = {Precise Attack Synthesis for Smart Contracts.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-06067}, volume = {abs/1902.06067}, year = 2019 }