Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
1 result · clear filters Sort: newest oldest name
- Formal Methods Teaching - 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, ProceedingsComputer and information sciencese11x40y
As JSON: https://labs.confref.org/api/search?field=1.2&series=s10ap84&country=JP