Stevaux, Rodrigo, E 		Melo, Ana.
" A Formal Model for Startups Financial Transactions" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)