Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny

(arxiv.org)

1 points | by mrLSD-dev 6 hours ago

No comments yet.