Verifying Correctness of Smart Contracts with Conditionals[C] 2022 IEEE 1ST GLOBAL EMERGING TECHNOLOGY BLOCKCHAIN FORUM: BLOCKCHAIN & BEYOND, IGETBLOCKCHAIN 2022 Alhabardi, Fahad Lazar, Bogdan Setzer, Anton
