"Model-Based Software Design and Testing in Blockchain Smart Contracts: A ..."

Nicolás Sánchez-Gómez et al. (2020)

Details and statistics

DOI: 10.1109/ACCESS.2020.3021502

access: open

type: Journal Article

metadata version: 2023-10-21

a service of  Schloss Dagstuhl - Leibniz Center for Informatics