Conference
Προβολή σε EDS

Wallet ATL: Towards Reliable Smart Contract Verification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Wallet ATL: Towards Reliable Smart Contract Verification
Συγγραφείς: Ferrando, Angelo, Zanlefack, Blondelle Kana, Malvone, Vadim
Πηγή: Proc. of the 25th International Conference on Autonomous Agents and Multiagent Systems. :385-393
Διαθεσιμότητα: http://dl.acm.org/doi/10.65109/UKIO4803
Βάση Δεδομένων: ACM Full-Text Collection
Περιγραφή
DOI:10.65109/UKIO4803