How to Audit Smart Contract Languages: Brief Intro by Nicolás García | Devcon SEA | Ethereum Foundation | Podwise