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
- Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025Computer and information sciencese113kkx
- Formal Methods in Computer-Aided Design (FMCAD)Computer and information sciencess109pp9
- Formal Methods in Computer-Aided Design, FMCAD 2024, Prague, Czech Republic, October 15-18, 2024Computer and information sciencese113kjz
- Formal Methods in Computer-Aided Design 2023 (FMCAD 2023)Computer and information sciencese113kh1
- Formal Methods in Computer-Aided Design 2022 (FMCAD 2022)Computer and information sciencese113kg3
- Formal Methods in Computer-Aided Design 2021 (FMCAD 2021)Computer and information sciencese113kf6
- Formal Methods in Computer-Aided Design 2020 (FMCAD 2020)Computer and information sciencese10fwe8
As JSON: https://labs.confref.org/api/search?series=s109pp9&from=2020&to=2029