Smart contracts Formal verification
fjrojasgarcia opened this issue · comments
Javier Rojas commented
Smart contracts Formal verification
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
fjrojasgarcia opened this issue · comments
Smart contracts Formal verification