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 - 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
As JSON: https://labs.confref.org/api/search?field=1.2&series=s10ap84&country=PT