Conference
Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications
| Τίτλος: | Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications |
|---|---|
| Συγγραφείς: | Alfuhaid, Sofana |
| Πηγή: | 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2025 IEEE/ACM 47th International Conference on. :58-62 Apr, 2025 |
| Relation: | 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!