Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid | IEEE Conference Publication | IEEE Xplore