8 results · clear filters Sort: newest oldest name

1. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ) (ABZ)
   series, 28 events, 1989 to 2026
   Computer and information sciences
   s10djws
2. ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (ZUM 1998, ZUM)
   1998-09-24/26 · Berlin, Germany
   Computer and information sciences
   e10dtvk
3. 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
4. International Conference of Z Users (ZUM 1995, ZUM)
   1995-09-07/09 · Limerick, Ireland
   Computer and information sciences
   e1001y0
5. Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings (ZUM)
   1994-06-29/30 · Cambridge, United Kingdom
   Computer and information sciences
   e120g36
6. Z User Workshop, London, UK, 14-15 December 1992, Proceedings (ZUM)
   1992-12-14/15 · London, United Kingdom
   Computer and information sciences
   e120g28
7. Z User Workshop, York, UK, 16-17 December 1991, Proceedings (ZUM)
   1991-12-16/17 · York, United Kingdom
   Computer and information sciences
   e120g1a
8. 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

As JSON: https://labs.confref.org/api/search?series=s10djws&from=1990&to=1999