Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
12 results · clear filters Sort: newest oldest name
- 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)MathematicsComputer and information sciencese11apeq
- International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2020)MathematicsComputer and information sciencese113v2r
- International Conference on Fundamental Approaches to Software Engineering (FASE 2020)MathematicsComputer and information sciencese10hyc5
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020, TACAS@ETAPS 2020)MathematicsComputer and information sciencese10h6mc
- 23rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2018, FMICS)MathematicsComputer and information sciencese113m3x
- IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2012, DSRT)MathematicsComputer and information sciencese10f4c4
- 17th International Symposium on Formal Methods (FM 2011, FM)MathematicsComputer and information sciencese103b8x
- 21st EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2009)Mathematicse12gdj9
- Fourth International Conference on Communication System Software and Middleware (COMSWARE 2009)Mathematicse12g1d0
- International Software Product Line Conference 2008 (SPLC 2008)Mathematicse127he1
- 22nd International Conference on Software Engineering (ICSE 2000)MathematicsComputer and information sciencese10jy3n
- International Conference of Z Users (ZUM)Mathematicse12hf0a
As JSON: https://labs.confref.org/api/search?field=1.1&country=IE