Stevaux, Rodrigo, & Ana C. V. de Melo.
" A Formal Model for Startups Financial Transactions." <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (2023): 3-19. Web. 17 mai. 2024