A formal model for startups financial transactions (2023)
- 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: Proceedings
- Conference titles: Brazilian Symposium on Formal Methods - SBMF
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
STEVAUX, Rodrigo e MELO, Ana Cristina Vieira de. A formal model for startups financial transactions. 2023, Anais.. Cham: Springer, 2023. Disponível em: https://doi.org/10.1007/978-3-031-49342-3_1. Acesso em: 05 out. 2024. -
APA
Stevaux, R., & Melo, A. C. V. de. (2023). A formal model for startups financial transactions. In 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]. Proceedings. 2023 ;[citado 2024 out. 05 ] 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]. Proceedings. 2023 ;[citado 2024 out. 05 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1 - A formalization of a startup finance transaction model using Alloy
- Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
- From test purposes to formal JPF properties
- Behaviorist agent architecture
- On the algebraic reuse of hardware design
Informações sobre o DOI: 10.1007/978-3-031-49342-3_1 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas