Conference
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 |
καταχωρήστε σχόλιο πρώτοι!