Formal methods: foundations and applications (2011)
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-33296-8. Acesso em: 25 set. 2024. , 2011APA
Formal methods: foundations and applications. (2011). Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. doi:10.1007/978-3-642-33296-8NLM
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2024 set. 25 ] Available from: https://doi.org/10.1007/978-3-642-33296-8Vancouver
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2024 set. 25 ] Available from: https://doi.org/10.1007/978-3-642-33296-8