A strategy for the formal composition of frameworks (2005)
Source: Proceedings. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
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: 14 nov. 2024.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 2024 nov. 14 ] 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 2024 nov. 14 ] Available from: https://doi.org/10.1109/SEFM.2005.5