Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
8 results · 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
- International Conference on Technical Formal Methods (TFM)Computer and information sciencess10ap84
- Formal Methods Teaching - 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, ProceedingsComputer and information sciencese11x3z0
- Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, ProceedingsComputer and information sciencese11x3y2
- Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, ProceedingsComputer and information sciencese11x3x4
- Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (TFM)Computer and information sciencese11x3w6
- International Conference on Technical Formal Methods (TFM 2009, TFM)Computer and information sciencese108c10
- International Conference on Technical Formal Methods (TFM)Computer and information sciencese108c02