Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- International Conference on Software Engineering and Formal Methods (SEFM)Computer and information sciencese107rdy
- Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected PapersComputer and information sciencese11s1g8
- 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 (SEFM)Computer and information sciencese11s1bk
As JSON: https://labs.confref.org/api/search?kind=event&series=s10aja4&country=IT