search

fjrojasgarcia / ethereumbook

Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
https://ethereumbook.info/
Other
1 stars 0 forks source link

Smart contracts Formal verification #4

Open fjrojasgarcia opened 6 years ago

fjrojasgarcia commented 6 years ago

Smart contracts Formal verification