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

von Antonino, Pedro
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)