Chapitre D'ouvrage
Année : 2020
Layth Sliman : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03781483
Soumis le : mardi 20 septembre 2022-13:46:53
Dernière modification le : vendredi 19 janvier 2024-14:46:02
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⟩
13
Consultations
0
Téléchargements