ABZ

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z

  1. 2018

    ABZ 2018

    • 5-8 June
    • Southampton, United Kingdom
  2. 2010

    ABZ 2010

    • 22-25 February
    • Orford, QC, Canada
  3. 2008

    ABZ 2008

    • 16-18 September
    • London, United Kingdom
  4. 2004

    ASM 2004

    • 24-28 May
    • Lutherstadt Wittenberg, Germany
  5. 1997

    ZUM 1997

    • 3-4 April
    • Reading, United Kingdom
  6. 1995

    ZUM 1995

    • 7-9 September
    • Limerick, Ireland