Hung-Ying Tai

1 talk by Hung-Ying Tai

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