Browsing by Subject Formal Verification
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 16-May-2025 | Formal Verification of a Fail-Safe Cross-Chain Bridge | Marić, Filip ; Scholz, Bernhard; Subotić, Pavle | M33 |