Verification and Analysis Towards a Formally Verified EVM in Production Environment

von Zhang, Xivue
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)