Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings
type: Item
instance of: scholarly article
title: Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings
zbMATH Open document ID: 1250.68028
DOI: 10.1007/978-3-642-33296-8
published in: Lecture Notes in Computer Science
publication date: 2012-09-27T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6087379
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-33296-8
OpenAlex ID: W2490056979
Recommended article: Formal methods: foundations and applications. 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23--25, 2016. Proceedings
Recommended article: Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8--11, 2010. Revised selected papers
Recommended article: Formal methods: foundations and applications. 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 -- October 4, 2013. Proceedings
Recommended article: Formal methods: foundations and applications. 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21--22, 2015. Proceedings
Recommended article: Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 -- October 1, 2014. Proceedings
Recommended article: Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26--30, 2011. Revised selected papers
Recommended article: Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19--21, 2009. Revised selected papers
Recommended article: Formal methods: foundations and applications. 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 -- December 1, 2017. Proceedings
Recommended article: Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25--27, 2020. Proceedings
Recommended article: Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings
description: scientific article; zbMATH DE number 6087379