ABZ

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

  1. 2010

    ABZ 2010

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

    ABZ 2008

    • 16-18 September
    • London, UK
  3. 2004

    ASM 2004

    • 24-28 May
    • Lutherstadt Wittenberg, Germany
  4. 1995

    ZUM 1995

    • 7-9 September
    • Limerick, Ireland