A formal model for startups financial transactions (2024)
- Authors:
- USP affiliated authors: MELO, ANA CRISTINA VIEIRA DE - IME ; STEVAUX, RODRIGO EHRLICH - IME
- Unidade: IME
- DOI: 10.1007/978-3-031-49342-3_1
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Imprenta:
- Source:
- Título: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings
- Volume/Número/Paginação/Ano: LNCS 14414, p. 3-19, 2024
- Conference titles: Brazilian Symposium on Formal Methods - SBMF
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
STEVAUX, Rodrigo e MELO, Ana Cristina Vieira de. A formal model for startups financial transactions. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-49342-3_1. Acesso em: 27 fev. 2026. , 2024 -
APA
Stevaux, R., & Melo, A. C. V. de. (2024). A formal model for startups financial transactions. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. Cham: Springer. doi:10.1007/978-3-031-49342-3_1 -
NLM
Stevaux R, Melo ACV de. A formal model for startups financial transactions [Internet]. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. 2024 ; 3-19.[citado 2026 fev. 27 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1 -
Vancouver
Stevaux R, Melo ACV de. A formal model for startups financial transactions [Internet]. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. 2024 ; 3-19.[citado 2026 fev. 27 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1 - A formalization of a startup finance transaction model using Alloy
- An architectural pattern to implement business rules in information systems
- An aproach for the verification of multi-agent systems by formally guided simulations
- Behaviorist agent architecture
- PiStache: implementing π-calculus in scala
- On the composition of Java frameworks control-flows
- On the algebraic reuse of hardware design
- Testing Java exceptions: an instrumentation technique
- On the testability of properties patterns
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
Informações sobre o DOI: 10.1007/978-3-031-49342-3_1 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3167619.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
