default search action

combined dblp search
author search
venue search
publication search

ask others

Brazilian Symposium on Formal Methods (SBMF)

Brazilian Workshop on Formal Methods (WMF)

> 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

27th SBMF 2024: Vitória, Brazil

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2024
Sidney C. Nogueira, Ciprian Teodorov:
Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings. Lecture Notes in Computer Science 15403, Springer 2025, ISBN 978-3-031-78115-5 [contents]

26th SBMF 2023: Manaus, Brazil

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2023
Haniel Barbosa, Yoni Zohar:
Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings. Lecture Notes in Computer Science 14414, Springer 2024, ISBN 978-3-031-49341-6 [contents]

25th SBMF 2022: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2022
Lucas Lima, Vince Molnár:
Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings. Lecture Notes in Computer Science 13768, Springer 2022, ISBN 978-3-031-22475-1 [contents]

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]

11th SBMF 2008: Salvador, Brazil

- view
- export record
  dblp key:
  - conf/sbmf/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2008
Patrícia D. L. Machado:
Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008. Electronic Notes in Theoretical Computer Science 240, Elsevier 2009 [contents]

9th SBMF 2006: Natal, Brazil

- view
- export record
  dblp key:
  - conf/sbmf/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2006
Anamaria Martins Moreira, Leila Ribeiro:
Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006. Electronic Notes in Theoretical Computer Science 195, Elsevier 2008 [contents]

8th SBMF 2005: Porto Alegre, RS, Brazil

- view
- export record
  dblp key:
  - conf/sbmf/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2005
Augusto Sampaio:
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005. Electronic Notes in Theoretical Computer Science 184, Elsevier 2007 [contents]

7th SBMF 2004: Recife, PE, Brazil

- view
- export record
  dblp key:
  - conf/sbmf/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2004
Alexandre Mota, Arnaldo V. Moura:
Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004. Electronic Notes in Theoretical Computer Science 130, Elsevier 2005 [contents]

6th WMF 2003: Campina Grande, Brazil

- view
- export record
  dblp key:
  - conf/sbmf/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/2003
Ana Cavalcanti, Patrícia D. L. Machado:
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. Electronic Notes in Theoretical Computer Science 95, Elsevier 2004 [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.