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. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (ISOLA, ISoLA 2018)
    2018-11-05/09 · Limassol, Cyprus
    Computer and information sciences
    e10ev15
  2. Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006 (ISOLA)
    2006-11-15/19 · Paphos, Cyprus
    Computer and information sciences
    e11e7xz
  3. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004, ISoLA)
    2004-10-30 to 2004-11-02 · Paphos, Cyprus
    Computer and information sciences
    e105b8s

As JSON: https://labs.confref.org/api/search?kind=event&series=s10a3sm&country=CY