This volume contains the short papers presented at SBMF 2011... [Prefácio] (2011)
Source: Proceedings of the 14. Brazilian Symposium on Formal Methods. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
ABNT
SIMÃO, Adenilso da Silva e MORGAN, Carroll. This volume contains the short papers presented at SBMF 2011.. [Prefácio]. Proceedings of the 14. Brazilian Symposium on Formal Methods. São Carlos, SP: ICMC/USP. Disponível em: http://www.icmc.usp.br/~biblio/SP/sp.pdf. Acesso em: 14 nov. 2024. , 2011APA
Simão, A. da S., & Morgan, C. (2011). This volume contains the short papers presented at SBMF 2011.. [Prefácio]. Proceedings of the 14. Brazilian Symposium on Formal Methods. São Carlos, SP: ICMC/USP. Recuperado de http://www.icmc.usp.br/~biblio/SP/sp.pdfNLM
Simão A da S, Morgan C. This volume contains the short papers presented at SBMF 2011.. [Prefácio] [Internet]. Proceedings of the 14. Brazilian Symposium on Formal Methods. 2011 ;[citado 2024 nov. 14 ] Available from: http://www.icmc.usp.br/~biblio/SP/sp.pdfVancouver
Simão A da S, Morgan C. This volume contains the short papers presented at SBMF 2011.. [Prefácio] [Internet]. Proceedings of the 14. Brazilian Symposium on Formal Methods. 2011 ;[citado 2024 nov. 14 ] Available from: http://www.icmc.usp.br/~biblio/SP/sp.pdf