Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

7 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. Brazilian Symposium on Formal Methods (SBMF 2009, SBMF)
    2009-08-19/21 · Gramado, Brazil
    Computer and information sciences
    e107kzy
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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&from=2000&to=2009