A strategy for the formal composition of frameworks (2005)
Fonte: Proceedings. Nome do evento: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MESQUITA, walter e SAMPAIO, Augusto e MELO, Ana Cristina Vieira de. A strategy for the formal composition of frameworks. 2005, Anais.. Piscataway: IEEE, 2005. Disponível em: https://doi.org/10.1109/SEFM.2005.5. Acesso em: 12 nov. 2025.APA
Mesquita, walter, Sampaio, A., & Melo, A. C. V. de. (2005). A strategy for the formal composition of frameworks. In Proceedings. Piscataway: IEEE. doi:10.1109/SEFM.2005.5NLM
Mesquita walter, Sampaio A, Melo ACV de. A strategy for the formal composition of frameworks [Internet]. Proceedings. 2005 ;[citado 2025 nov. 12 ] Available from: https://doi.org/10.1109/SEFM.2005.5Vancouver
Mesquita walter, Sampaio A, Melo ACV de. A strategy for the formal composition of frameworks [Internet]. Proceedings. 2005 ;[citado 2025 nov. 12 ] Available from: https://doi.org/10.1109/SEFM.2005.5