Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
4 results · clear filters Sort: newest oldest name
- Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, ProceedingsComputer and information sciencese11bx50
- International Conference on Integrated Formal Methods (IFM 2007, IFM)Computer and information sciencese104xex
- International Conference on Integrated Formal Methods (IFM 2004, IFM)Computer and information sciencese104xc1
- International Conference on Integrated Formal Methods (IFM 1999, IFM)Computer and information sciencese11bwzc
As JSON: https://labs.confref.org/api/search?field=1.2&series=s10a0h7&country=GB