%0 Journal Article %1 journals/tissec/OtoniMAEHS23 %A Otoni, Rodrigo %A Marescotti, Matteo %A Alt, Leonardo %A Eugster, Patrick %A Hyvärinen, Antti E. J. %A Sharygina, Natasha %D 2023 %J ACM Trans. Priv. Secur. %K dblp %N 2 %P 15:1-15:28 %T A Solicitous Approach to Smart Contract Verification. %U http://dblp.uni-trier.de/db/journals/tissec/tissec26.html#OtoniMAEHS23 %V 26

@article{journals/tissec/OtoniMAEHS23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Otoni, Rodrigo and Marescotti, Matteo and Alt, Leonardo and Eugster, Patrick and Hyvärinen, Antti E. J. and Sharygina, Natasha}, biburl = {https://www.bibsonomy.org/bibtex/2ef241d9ab1fca3cce8d8db3a4aebba4c/dblp}, ee = {https://doi.org/10.1145/3564699}, interhash = {bafc948b65a868133985abb38c16ac13}, intrahash = {ef241d9ab1fca3cce8d8db3a4aebba4c}, journal = {ACM Trans. Priv. Secur.}, keywords = {dblp}, month = May, number = 2, pages = {15:1-15:28}, timestamp = {2024-04-08T11:28:27.000+0200}, title = {A Solicitous Approach to Smart Contract Verification.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec26.html#OtoniMAEHS23}, volume = 26, year = 2023 }