Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

4 results · clear filters Sort: newest oldest name

  1. International Conference on Technical Formal Methods (TFM)
    series, 7 events, 2004 to 2026
    Computer and information sciences
    s10ap84
  2. 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)
    2019-10-07 · Porto, Portugal
    Computer and information sciences
    e11x3w6
  3. International Conference on Technical Formal Methods (TFM 2009, TFM)
    2009-11-02/06 · Eindhoven
    Computer and information sciences
    e108c10
  4. International Conference on Technical Formal Methods (TFM)
    2004-11-18/19 · Ghent, Belgium
    Computer and information sciences
    e108c02

As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10ap84