Stevaux, R., & 		Melo, A.
2023 dez  4.  A Formal Model for Startups Financial Transactions. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :