Stevaux, Rodrigo, AND 		Melo, Ana.
" A Formal Model for Startups Financial Transactions" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2023)