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. 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. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
   2007-01-01 · Auckland, New Zealand
   Computer and information sciences
   e12pgmp
4. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
   2006-01-01 · Columbia, United States
   Computer and information sciences
   e12pgkr
5. 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
6. ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (B, ZB 2003)
   2003-06-04/06 · Turku, Finland
   Computer and information sciences
   e10dm2c
7. International Conference of B and Z Users (B, ZB 2002)
   2002-01-23/25 · Grenoble, France
   Computer and information sciences
   e10022r
8. 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

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