Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
180 results · clear filters Sort: newest oldest name
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009, MEMOCODE)MathematicsComputer and information sciencese11hmsk
- First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. (NFM 2009, NFM)Computer and information sciencese10hjpw
- International Conference on Integrated Formal Methods (IFM 2009, IFM)Computer and information sciencese104xfv
- 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008, FMICS)MathematicsComputer and information sciencese103bze
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008, MEMOCODE)MathematicsComputer and information sciencese11hmrn
- 15th International Symposium on Formal Methods (FM 2008, FM)MathematicsComputer and information sciencese103b61
- International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)MathematicsComputer and information sciencese104bck
- 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007, SEFM)MathematicsComputer and information sciencese11s18s
- International Conference on Integrated Formal Methods (IFM 2007, IFM)Computer and information sciencese104xex
- 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007, FMICS)MathematicsComputer and information sciencese103byg
- International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007, FMOODS)Computer and information sciencese103cj7
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007, MEMOCODE)MathematicsComputer and information sciencese11hmqq
- International Conference on Formal Engineering Methods (ICFEM 2006, ICFEM)MathematicsComputer and information sciencese104bbn
- 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006, FMICS)MathematicsComputer and information sciencese103bxj
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006, MEMOCODE)MathematicsComputer and information sciencese11hmps
- International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006, FMOODS)Computer and information sciencese103ch9
- International Conference on Integrated Formal Methods (IFM 2005, IFM)Computer and information sciencese104xdz
- International Conference on Formal Engineering Methods (ICFEM 2005, ICFEM)MathematicsComputer and information sciencese104baq
- 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005, FMICS)MathematicsComputer and information sciencese113m2z
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2005, MEMOCODE)MathematicsComputer and information sciencese11hmnv
- Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, IFM Doctoral Symposium 2005, Eindhoven, The Netherlands, November 29, 2005Computer and information sciencese120j42
- Formal Methods in Computer-Aided Design 2004 (FMCAD 2004, FMCAD)Computer and information sciencese103bha
- International Conference on Formal Engineering Methods (ICFEM 2004, ICFEM)MathematicsComputer and information sciencese104b9s
- 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004, FMICS)MathematicsComputer and information sciencese120h0b
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004, MEMOCODE)MathematicsComputer and information sciencese11hmmx
As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q1049183&page=6