11 results · clear filters Sort: newest oldest name

1. Brazilian Symposium on Formal Methods (SBMF)
   series, 21 events, 2003 to 2025
   Computer and information sciences
   s10ahjm
2. 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
3. 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
4. Brazilian Symposium on Formal Methods (SBMF)
   2016-11-23/25 · Natal, Brazil
   Computer and information sciences
   e107m6g
5. Brazilian Symposium on Formal Methods (SBMF)
   2015-09-21/22 · Belo Horizonte, Brazil
   Computer and information sciences
   e107m5j
6. Brazilian Symposium on Formal Methods (SBMF)
   2014-09-29 to 2014-10-01 · Maceió, Brazil
   Computer and information sciences
   e107m4m
7. Brazilian Symposium on Formal Methods (SBMF)
   2013-09-29 to 2013-10-04 · Brasília, Brazil
   Computer and information sciences
   e107m3p
8. Brazilian Symposium on Formal Methods (SBMF)
   2012-09-23/28 · Natal, Brazil
   Computer and information sciences
   e107m2r
9. Brazilian Symposium on Formal Methods (SBMF)
   2011-09-26/30 · São Paulo, Brazil
   Computer and information sciences
   e107m1t
10. Brazilian Symposium on Formal Methods (SBMF 2010, SBMF)
    2010-11-08/11 · Natal, Brazil
    Computer and information sciences
    e107m0w
11. Brazilian Symposium on Formal Methods (SBMF 2009, SBMF)
    2009-08-19/21 · Gramado, Brazil
    Computer and information sciences
    e107kzy

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q21198&series=s10ahjm