Building Executable Secure Design Models for Smart Contracts with Formal Methods

Bibliographische Detailangaben

Veröffentlicht in:	FC (23. : 2019 : Saint Kitts) Financial cryptography and data security
1. Verfasser:	Xu, Weifeng (VerfasserIn)
Weitere Verfasser:	Fink, Glenn A. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!