Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings
type: Item
instance of: scholarly article
title: Formal methods: foundations and applications. 21st Brazilian symposium, SBMF 2018, Salvador, Brazil, November 26--30, 2018. Proceedings
zbMATH Open document ID: 1400.68031
DOI: 10.1007/978-3-030-03044-5
published in: Lecture Notes in Computer Science
publication date: 2018-11-22T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6983412
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-030-03044-5
OpenAlex ID: W4232812647
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. 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23--25, 2016. 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. 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 -- October 4, 2013. Proceedings
Recommended article: Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23--28, 2012. Proceedings
Recommended article: Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6--10, 2021. Proceedings
Recommended article: Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6--9, 2022. 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
description: scientific article; zbMATH DE number 6983412