Cardano Developers @infosec.pub cyph3rPunk @infosec.pub 2y ago Formal Methods for the Working DeFi Dev by Rikard Hjort | Devcon Bogota (1:03:31)