"Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and ..."

Alexander Leid, Brink van der Merwe, Willem Visser (2020)

Details and statistics

DOI: 10.1145/3410886.3410907

access: closed

type: Conference or Workshop Paper

metadata version: 2020-09-23

a service of  Schloss Dagstuhl - Leibniz Center for Informatics