%0 Conference Paper %1 conf/apsec/GaoSSLSB21 %A Gao, Bo %A Shen, Siyuan %A Shi, Ling %A Li, Jiaying %A Sun, Jun %A Bu, Lei %B APSEC %D 2021 %I IEEE %K dblp %P 264-274 %T Verification Assisted Gas Reduction for Smart Contracts. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2021.html#GaoSSLSB21 %@ 978-1-6654-3784-4

@inproceedings{conf/apsec/GaoSSLSB21, added-at = {2023-11-12T00:00:00.000+0100}, author = {Gao, Bo and Shen, Siyuan and Shi, Ling and Li, Jiaying and Sun, Jun and Bu, Lei}, biburl = {https://www.bibsonomy.org/bibtex/2cf91a5abe56ccbd574bdb453fafd57d5/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2021}, ee = {https://doi.org/10.1109/APSEC53868.2021.00034}, interhash = {341ab8d6ace60fcb405fd471ea9dec19}, intrahash = {cf91a5abe56ccbd574bdb453fafd57d5}, isbn = {978-1-6654-3784-4}, keywords = {dblp}, pages = {264-274}, publisher = {IEEE}, timestamp = {2024-04-09T13:14:59.000+0200}, title = {Verification Assisted Gas Reduction for Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2021.html#GaoSSLSB21}, year = 2021 }