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.

9 results · clear filters Sort: newest oldest name

  1. 25th International Symposium on Formal Methods (FM 2023)
    2023-03-06/10 · Lübeck, Germany
    MathematicsComputer and information sciences
    e113jpr
  2. International Symposium on Formal Methods (FM 2001)
    2001-05-12/16 · Berlin, Germany
    MathematicsComputer and information sciences
    e129rhf
  3. International Symposium of Formal Methods Europe (FM, FME)
    2001-03-12/16 · Berlin, Germany
    Computer and information sciences
    e103b1b
  4. International Symposium on Formal Methods (FM 1998, FM)
    1998-10-07/09 · Boppard, Germany
    Computer and information sciences
    e103azf
  5. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 (VDM Europe 1990)
    1990-04-17/21 · Kiel, Germany
    MathematicsComputer and information sciences
    e10ez3x
  6. Formal Methods (FM) (FM)
    1990-04-17/21 · Kiel, Germany
    Computer and information sciences
    e12k4m8
  7. International Symposium of VDM Europe (VDM)
    1990-04-17/21 · Kiel, Germany
    Computer and information sciences
    e12p6rr
  8. VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1990 · Kiel, Germany
    Computer and information sciences
    e113jxa
  9. The Use of Formal Specification of Software, June 25-27, 1979, Berlin, Germany (FM)
    1979-06-25/27 · Berlin, Germany
    Computer and information sciences
    e113jf7

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