Loading schedule…
Don't Review the Code: Formal Specs First Smart Contract Development - Devcon 8 India