%0 Conference Paper %1 conf/fmcad/Maffei21 %A Maffei, Matteo %B FMCAD %D 2021 %I IEEE %K dblp %P 1-2 %T Formal Methods for the Security Analysis of Smart Contracts. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#Maffei21 %@ 978-3-85448-046-4

@inproceedings{conf/fmcad/Maffei21, added-at = {2021-12-07T00:00:00.000+0100}, author = {Maffei, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2c1fc229b8941e32aad5b578275473933/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2021}, ee = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_3}, interhash = {c4b106b3b3573e54a0cf5dbfd63d3a88}, intrahash = {c1fc229b8941e32aad5b578275473933}, isbn = {978-3-85448-046-4}, keywords = {dblp}, pages = {1-2}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Formal Methods for the Security Analysis of Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#Maffei21}, year = 2021 }