Leonardo Souza1 talk by Leonardo SouzaIntroducing Formality by Victor Maia & Leonardo Souza (Devcon4)