Paper  bibtex   

@inproceedings{SBC2020-smart-contract-bugs,
 author = {Thomas Bernardi, Nurit Dor, Anastasia Fedotov, Shelly Grossman, Neil Immerman, Daniel Jackson, Alexander Nutz, Lior Oppenheim, Noam Rinetzky, Mooly Sagiv, Marcelo Taube and James R. Wilcox},
 title = {WIP: Finding Bugs Automatically in Smart Contracts with Parameterized Specifications},
 booktitle = {4th Stanford Blockchain Conference 2020},
 url_paper = {pubs/2020/sbc2020.pdf}
}