"Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and ..."

César Sánchez, Gerardo Schneider, Martin Leucker (2018)

Details and statistics

DOI: 10.1007/978-3-030-03427-6_21

access: closed

type: Conference or Workshop Paper

metadata version: 2022-12-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics