Verifying Correctness of Smart Contracts with Conditionals
| Date first appeared online | 03/04/2023 |
| DOI | 10.1109/igetblockchain56591.2022.10087054 |
| Authors | Setzer A. |
| Journal Name | 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain) |
| Volume |