This volume contains the papers presented at SBMF 2010... [Prefácio] (2011)
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
ABNT
DAVIES, Jim e SILVA, Leila e SIMÃO, Adenilso da Silva. This volume contains the papers presented at SBMF 2010.. [Prefácio]. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-19829-8. Acesso em: 30 set. 2024. , 2011APA
Davies, J., Silva, L., & Simão, A. da S. (2011). This volume contains the papers presented at SBMF 2010.. [Prefácio]. Proceedings. Heidelberg: Springer. doi:10.1007/978-3-642-19829-8NLM
Davies J, Silva L, Simão A da S. This volume contains the papers presented at SBMF 2010.. [Prefácio] [Internet]. Proceedings. 2011 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-642-19829-8Vancouver
Davies J, Silva L, Simão A da S. This volume contains the papers presented at SBMF 2010.. [Prefácio] [Internet]. Proceedings. 2011 ;[citado 2024 set. 30 ] Available from: https://doi.org/10.1007/978-3-642-19829-8