Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
113 results · clear filters Sort: newest oldest name
- 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)Mathematicse129s3b
- International Symposium on Formal Methods (FM 2001)MathematicsComputer and information sciencese129rhf
- Formal Methods in Computer-Aided Design 2000 (FMCAD 2000, FMCAD)Computer and information sciencese103bff
- International Conference on Integrated Formal Methods (IFM 2000, IFM)Computer and information sciencese104xa5
- 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000)Mathematicse129s2d
- 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1999)Mathematicse129s1f
- Formal Methods in Computer-Aided Design 1998 (FMCAD 1998, FMCAD)Computer and information sciencese103beh
- 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998)Mathematicse129s0h
- 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997)Mathematicse129rzk
- Formal Methods in Computer-Aided Design 1996 (FMCAD 1996, FMCAD)Computer and information sciencese103bdk
- 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1996)Mathematicse129ryn
- International Symposium on Formal Methods (FM 1994)MathematicsComputer and information sciencese129rjd
- IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems (IEICE Trans D Form Appr 2018)Mathematicse124646
As JSON: https://labs.confref.org/api/search?discipline=Q1049183&mode=OfflineEventAttendanceMode&page=5