@misc{misce7b02c73,
title   = {A formal model for startups financial transactions},
author = {Stevaux, Rodrigo and Melo, Ana Cristina Vieira de},
year = {2024},
doi = {10.1007/978-3-031-49342-3_1},
publisher = {Springer},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}