Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
6 results · clear filters Sort: newest oldest name
- Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025.Computer and information sciencese1211pc
- Symposium on Working Formal Methods (FROM)Computer and information sciencess1223ww
- Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18.Computer and information sciencese12114h
- Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023.Computer and information sciencese1210fw
- Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022.Computer and information sciencese120zw4
- Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. (FROM)Computer and information sciencese120xx4
As JSON: https://labs.confref.org/api/search?field=1.2&series=s1223ww