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.

5 results · clear filters Sort: newest oldest name

  1. International Symposium on Formal Methods (FM 2002, FME)
    2002-07-22/24 · Copenhagen, Denmark
    Computer and information sciences
    e103b29
  2. Formal Methods (FM) (FM)
    2002-01-01 · Copenhagen, Denmark
    Computer and information sciences
    e12k4p4
  3. International Symposium on Formal Methods (FM 1993, FME 1993)
    1993-04-19/23 · Odense, Denmark
    Computer and information sciences
    e103avq
  4. Formal Methods (FM) (FM)
    1981-01-01 · Aarhus, Denmark
    Computer and information sciences
    e12k4he
  5. Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981
    1981 · Aarhus, Denmark
    Computer and information sciences
    e113jsj

As JSON: https://labs.confref.org/api/search?series=s109pnb&country=DK