Computing
Software engineering
Formal methods
Alloy — ASM
B — Z
The Z User Group (ZUG) supports the ABZ conference.
The First International Conference on Abstract State Machines, B and Z (ABZ 2008) covered various state-based approaches to formal methods, specifically ASM, the B-Method, and the Z notation. It was held at the London British Commputer Society↑, London↑, United Kingdom↑, during 16-18 September 2008.
See also[]
External links[]
- ABZ 2008 conference website on Archive.org↑
- ABZ 2008 papers from DBLP↑
- ABZ 2008 proceedings on Google Books↑
- ABZ 2008 proceedings from Springer (LNCS 5238)
- ABZ 2008 Call for Participation