On the Verification of Smart Contracts: A Systematic Review.

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk

Browse the full ICBC paper archive.