Michael Yuan

1 talk by Michael Yuan

• An EVM-Based Formal Rules Language by Michael Yuan, Hung Ying Tai, Timothy McCallum (Devcon5)