STEVAUX, Rodrigo; 						MELO, Ana C. V. de.
 A Formal Model for Startups Financial Transactions.
<strong>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</strong>, [S.l.], p. 3-19, dec. 2023.
ISSN 0000-0000.
Available at: &lt;<a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28033" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28033</a>&gt;. Date accessed: 17 may 2024.