%0 Journal Article %1 journals/pacmpl/BramEMSS21 %A Bräm, Christian %A Eilers, Marco %A Müller, Peter %A Sierra, Robin %A Summers, Alexander J. %D 2021 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 1-30 %T Rich specifications for Ethereum smart contract verification. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#BramEMSS21 %V 5

@article{journals/pacmpl/BramEMSS21, added-at = {2022-01-08T00:00:00.000+0100}, author = {Bräm, Christian and Eilers, Marco and Müller, Peter and Sierra, Robin and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/2892e824ccdee3c57153934f028296230/dblp}, ee = {https://doi.org/10.1145/3485523}, interhash = {79693a990c13c2a80bb04cf0772ff29a}, intrahash = {892e824ccdee3c57153934f028296230}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {1-30}, timestamp = {2024-04-08T09:54:11.000+0200}, title = {Rich specifications for Ethereum smart contract verification.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#BramEMSS21}, volume = 5, year = 2021 }