%0 Conference Paper %1 conf/icse/FeistGG19 %A Feist, Josselin %A Grieco, Gustavo %A Groce, Alex %B WETSEB@ICSE %D 2019 %I IEEE / ACM %K dblp %P 8-15 %T Slither: a static analysis framework for smart contracts. %U http://dblp.uni-trier.de/db/conf/icse/wetseb2019.html#FeistGG19 %@ 978-1-7281-2257-1

@inproceedings{conf/icse/FeistGG19, added-at = {2019-09-09T00:00:00.000+0200}, author = {Feist, Josselin and Grieco, Gustavo and Groce, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2372488809fef5329b9db8b29b56380d8/dblp}, booktitle = {WETSEB@ICSE}, crossref = {conf/icse/2019wetseb}, ee = {https://dl.acm.org/citation.cfm?id=3355359}, interhash = {43aad0a9617f36e9f4cf2497bac69443}, intrahash = {372488809fef5329b9db8b29b56380d8}, isbn = {978-1-7281-2257-1}, keywords = {dblp}, pages = {8-15}, publisher = {IEEE / ACM}, timestamp = {2019-09-10T11:47:09.000+0200}, title = {Slither: a static analysis framework for smart contracts.}, url = {http://dblp.uni-trier.de/db/conf/icse/wetseb2019.html#FeistGG19}, year = 2019 }