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, 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
3. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (ZUM)
   2016-05-23/27 · Linz, Austria
   Computer and information sciences
   e10rhb6
4. Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)
   2014-06-02/06 · Toulouse, France
   Computer and information sciences
   e12pgnm
5. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
   2014 · Toulouse, France
   Computer and information sciences
   e10rh9a
6. ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
   2014 · Toulouse, France
   Computer and information sciences
   e10rha8
7. International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012, ABZ)
   2012-06-18/21 · Pisa, Italy
   Computer and information sciences
   e10029a
8. Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (ZUM)
   2010-02-22/25 · Orford, Canada
   Computer and information sciences
   e10rh8c

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