Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
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 |