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

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. Formal Methods (FM) (FM)
    1991-10-21/25 · Kingdom of the Netherlands
    Computer and information sciences
    e12k4n6
  2. International Symposium of VDM Europe (VDM)
    1991-10-21/25 · Kingdom of the Netherlands
    Computer and information sciences
    e12p6sp
  3. VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions
    1991 · Kingdom of the Netherlands
    Computer and information sciences
    e113jy8

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