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.

3 results · clear filters Sort: newest oldest name

  1. 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022
    2022 · Pittsburgh, United States
    Computer and information sciences
    e11a0sp
  2. Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2016, Austin, Texas, USA, May 15, 2016
    2016 · Austin, United States
    Computer and information sciences
    e11a3vf
  3. 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013
    2013 · San Francisco, United States
    Computer and information sciences
    e11a3rn

As JSON: https://labs.confref.org/api/search?field=1&series=s10cqm6&country=US