


Остановите войну!
for scientists:
Brazilian Symposium on Formal Methods (SBMF)
24th SBMF 2021: Virtual Event
- Sérgio Campos
, Marius Minea:
Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13130, Springer 2021, ISBN 978-3-030-92136-1 [contents]
23rd SBMF 2020: Salvador, Brazil
- Gustavo Carvalho
, Volker Stolz
:
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science 12475, Springer 2020, ISBN 978-3-030-63881-8 [contents]
21st SBMF 2018: Salvador, Brazil
- Tiago Massoni, Mohammad Reza Mousavi:
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Lecture Notes in Computer Science 11254, Springer 2018, ISBN 978-3-030-03043-8 [contents]
20th SBMF 2017: Recife, Brazil
- Simone André da Costa Cavalheiro, José Luiz Fiadeiro:
Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Lecture Notes in Computer Science 10623, Springer 2017, ISBN 978-3-319-70847-8 [contents]
19th SBMF 2016: Natal, Brazil
- Leila Ribeiro, Thierry Lecomte
:
Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings. Lecture Notes in Computer Science 10090, 2016, ISBN 978-3-319-49814-0 [contents]
18th SBMF 2015: Belo Horizonte, MG, Brazil
- Márcio Cornélio, Bill Roscoe:
Formal Methods: Foundations and Applications - 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. Lecture Notes in Computer Science 9526, Springer 2016, ISBN 978-3-319-29472-8 [contents]
17th SBMF 2014: Maceió, AL, Brazil
- Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 [contents]
16th SBMF 2013: Brasilia, Brazil
- Juliano Iyoda, Leonardo Mendonça de Moura:
Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Lecture Notes in Computer Science 8195, Springer 2013, ISBN 978-3-642-41070-3 [contents]
15th SBMF 2012: Natal, Brazil
- Rohit Gheyi
, David A. Naumann:
Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7498, Springer 2012, ISBN 978-3-642-33295-1 [contents]
14th SBMF 2011: São Paulo, Brazil
- Adenilso da Silva Simão
, Carroll Morgan:
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7021, Springer 2011, ISBN 978-3-642-25031-6 [contents]
13th SBMF 2010: Natal, Brazil
- Jim Davies, Leila Silva, Adenilso da Silva Simão
:
Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6527, Springer 2011, ISBN 978-3-642-19828-1 [contents]
12th SBMF 2009: Gramado, Brazil
- Marcel Vinícius Medeiros Oliveira, Jim Woodcock
:
Formal Methods: Foundations and Applications, 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5902, Springer 2009, ISBN 978-3-642-10451-0 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.