Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
28 results · clear filters Sort: newest oldest name
- 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024Computer and information sciencese11hn8n
- Formal Methods in Computer-Aided Design 2019 (FMCAD 2019, FMCAD)Computer and information sciencese10fwf6
- International Conference on Formal Methods and Models for System Design (MEMOCODE 2019, MEMOCODE)MathematicsComputer and information sciencese11hn3z
- NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (NFM 2019, NFM)Computer and information sciencese10evdd
- Formal Methods in Computer-Aided Design 2018 (FMCAD 2018, FMCAD)Computer and information sciencese10e8c2
- Correctness 2017 : First International Workshop on Software Correctness for HPC Applications (Correctness 2017)Mathematicse12g24h
- NFM 2017 : The 9th NASA Formal Methods Symposium (NFM 2017)Mathematicse125d7q
- NASA Formal Methods Symposium (NFM 2016, NFM)Computer and information sciencese106jmq
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2015, MEMOCODE)MathematicsComputer and information sciencese11hmz7
- NASA Formal Methods Symposium (NFM 2015, NFM)Computer and information sciencese106jks
- NASA Formal Methods Symposium (NFM 2014, NFM)Computer and information sciencese106jjv
- Formal Methods in Computer-Aided Design 2013 (FMCAD 2013, FMCAD)Computer and information sciencese10fwg3
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012, MEMOCODE)MathematicsComputer and information sciencese11hmwd
- Formal Methods in Computer-Aided Design 2011 (FMCAD 2011, FMCAD)Computer and information sciencese10fwh1
- NASA Formal Methods Symposium (NFM 2011, NFM)Computer and information sciencese106jf2
- 1st ACM SIGCHI Symposium on Engineering Interactive Computing System (EICS '09, EICS 2009)MathematicsComputer and information sciencese10f11x
- 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
- ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008, MEMOCODE)MathematicsComputer and information sciencese11hmrn
- International Conference on Formal Engineering Methods (ICFEM 2007, ICFEM)MathematicsComputer and information sciencese104bck
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2006, MEMOCODE)MathematicsComputer and information sciencese11hmps
- 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
- International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004, MEMOCODE)MathematicsComputer and information sciencese11hmmx
- Formal Methods in Computer-Aided Design 2002 (FMCAD 2002, FMCAD)Computer and information sciencese103bgc
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q1049183&country=US