19 results · clear filters Sort: newest oldest name

1. Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
   2025 · Recife, Brazil
   Computer and information sciences
   e11r83y
2. Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
   2024 · Vitória, Brazil
   Computer and information sciences
   e11r820
3. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
   2023 · Manaus, Brazil
   Computer and information sciences
   e11r812
4. Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (SBMF 2020)
   2020-11-25/27 · Ouro Preto, Brazil
   Computer and information sciences
   e10fjat
5. Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (SBMF)
   2018-11-26/30 · Salvador, Brazil
   Computer and information sciences
   e11r7y8
6. Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings (SBMF)
   2017-11-29 to 2017-12-01 · Recife, Brazil
   Computer and information sciences
   e11r7xa
7. Brazilian Symposium on Formal Methods (SBMF)
   2016-11-23/25 · Natal, Brazil
   Computer and information sciences
   e107m6g
8. Brazilian Symposium on Formal Methods (SBMF)
   2015-09-21/22 · Belo Horizonte, Brazil
   Computer and information sciences
   e107m5j
9. Brazilian Symposium on Formal Methods (SBMF)
   2014-09-29 to 2014-10-01 · Maceió, Brazil
   Computer and information sciences
   e107m4m
10. Brazilian Symposium on Formal Methods (SBMF)
    2013-09-29 to 2013-10-04 · Brasília, Brazil
    Computer and information sciences
    e107m3p
11. Brazilian Symposium on Formal Methods (SBMF)
    2012-09-23/28 · Natal, Brazil
    Computer and information sciences
    e107m2r
12. Brazilian Symposium on Formal Methods (SBMF)
    2011-09-26/30 · São Paulo, Brazil
    Computer and information sciences
    e107m1t
13. Brazilian Symposium on Formal Methods (SBMF 2010, SBMF)
    2010-11-08/11 · Natal, Brazil
    Computer and information sciences
    e107m0w
14. Brazilian Symposium on Formal Methods (SBMF 2009, SBMF)
    2009-08-19/21 · Gramado, Brazil
    Computer and information sciences
    e107kzy
15. Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008
    2008 · Salvador, Brazil
    Computer and information sciences
    e120kdf
16. Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006
    2006 · Brazil
    Computer and information sciences
    e120j6y
17. Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005
    2005 · Porto Alegre, Brazil
    Computer and information sciences
    e120hye
18. Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004
    2004 · Recife, Brazil
    Computer and information sciences
    e120gyf
19. Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003
    2003 · Campina Grande, Brazil
    Computer and information sciences
    e120qcd

As JSON: https://labs.confref.org/api/search?series=s10ahjm&country=BR