%0 Conference Paper %1 conf/icse/YinZNWWLLG22 %A Yin, Tingting %A Zhang, Chao %A Ni, Yuandong %A Wu, Yixiong %A Wong, Taiyu %A Luo, Xiapu %A Li, Zheming %A Guo, Yu %B ICSE (SEIP) %D 2022 %I IEEE %K dblp %P 31-32 %T An Empirical Study on Implicit Constraints in Smart Contract Static Analysis. %U http://dblp.uni-trier.de/db/conf/icse/seip2022.html#YinZNWWLLG22 %@ 978-1-6654-9590-5

@inproceedings{conf/icse/YinZNWWLLG22, added-at = {2022-06-28T00:00:00.000+0200}, author = {Yin, Tingting and Zhang, Chao and Ni, Yuandong and Wu, Yixiong and Wong, Taiyu and Luo, Xiapu and Li, Zheming and Guo, Yu}, biburl = {https://www.bibsonomy.org/bibtex/225b3aa325d4d19e4f180fe2fa0a8ed22/dblp}, booktitle = {ICSE (SEIP)}, crossref = {conf/icse/2022seip}, ee = {https://doi.org/10.1109/ICSE-SEIP55303.2022.9793963}, interhash = {ef2c66f2f1fe50e3ff1cd248c99d2f51}, intrahash = {25b3aa325d4d19e4f180fe2fa0a8ed22}, isbn = {978-1-6654-9590-5}, keywords = {dblp}, pages = {31-32}, publisher = {IEEE}, timestamp = {2024-04-10T00:11:18.000+0200}, title = {An Empirical Study on Implicit Constraints in Smart Contract Static Analysis.}, url = {http://dblp.uni-trier.de/db/conf/icse/seip2022.html#YinZNWWLLG22}, year = 2022 }