I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

A formal verification approach for composite smart contract..:

Almakhour, Mouhamad ; Sliman, Layth ; Samhat, Abed Ellatif.
Journal of King Saud University - Computer and Information Sciences.  35 (2023)  1 - p. 70-86 , 2023
Link: https://doi.org/10.1016/j.jksuci.2022.08.029