herrBez/ethereum-formal-verification
Slides about the literature concerning formal verification of smart contracts on ethereum
TeXBSD-3-Clause
No issues in this repository yet.
Slides about the literature concerning formal verification of smart contracts on ethereum
TeXBSD-3-Clause
No issues in this repository yet.