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.

10 results · clear filters Sort: newest oldest name

  1. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (ABZ 2018, ZUM)
    2018-06-05/08 · Southampton, United Kingdom
    Computer and information sciences
    e10edfq
  2. Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (ABZ 2008, ZUM)
    2008-09-16/18 · London, United Kingdom
    Computer and information sciences
    e10dw40
  3. ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (ZUM)
    2005-04-13/15 · Guildford, United Kingdom
    Computer and information sciences
    e120fze
  4. ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings (B, ZB 2000)
    2000-08-29 to 2000-09-02 · York, United Kingdom
    Computer and information sciences
    e10dm3a
  5. ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings (ZUM)
    1997-04-03/04 · Reading, United Kingdom
    Computer and information sciences
    e120g44
  6. Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings (ZUM)
    1994-06-29/30 · Cambridge, United Kingdom
    Computer and information sciences
    e120g36
  7. Z User Workshop, London, UK, 14-15 December 1992, Proceedings (ZUM)
    1992-12-14/15 · London, United Kingdom
    Computer and information sciences
    e120g28
  8. Z User Workshop, York, UK, 16-17 December 1991, Proceedings (ZUM)
    1991-12-16/17 · York, United Kingdom
    Computer and information sciences
    e120g1a
  9. Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990 (ZUM)
    1990-12-17/18 · Oxford, United Kingdom
    Computer and information sciences
    e120g0c
  10. Proceedings of the Fourth Annual Z User Meeting, Oxford, UK, December 15, 1989 (Z User Workshop 1989, ZUM)
    1989-12-15 · Oxford, United Kingdom
    Computer and information sciences
    e10edgm

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