Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe

Browse the full SEFM paper archive.