Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings (SBMF 2020)Computer and information sciencese10fjat
- Brazilian Symposium on Formal Methods (SBMF 2010, SBMF)Computer and information sciencese107m0w
- International Conference on Formal Engineering Methods (ICFEM 2009, ICFEM)MathematicsComputer and information sciencese104bef
As JSON: https://labs.confref.org/api/search?discipline=Q1049183&country=BR