Joshua Ellul, Gordon J. Pace, Ryan Falzon, Matthew Scerri. Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study. IEEE Access, 13:186075-186089, 2025. [doi]
Abstract is missing.