On the Verification of Smart Contracts: A Systematic Review - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2020
Fichier non déposé

Dates et versions

hal-03781483 , version 1 (20-09-2022)

Identifiants

Citer

Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Abdelhamid Mellouk. On the Verification of Smart Contracts: A Systematic Review. Blockchain – ICBC 2020, 12404, Springer International Publishing, pp.94-107, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-59638-5_7⟩. ⟨hal-03781483⟩

Collections

LISSI UPEC
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More