Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Brazilian Symposium on Formal Methods (SBMF)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

24th SBMF 2021: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2021
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2020
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2018
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2017
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2016
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2015
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2014
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2013
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2012
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2011
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2010
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

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2009
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]

a service of

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.