Wikia

Formal Methods Wiki

ABZ

Talk0
113pages on
this wiki
VL2
Virtual Library
Computing
Software engineering
Formal methods
ASMBZ
JpbowenAdded by Jpbowen

The ABZ conference covers Abstract State Machines, the B-Method, and the Z notation. The first conference was held in 2008 at the British Computer Society offices in London, UK, under the auspices of the BCS-FACS Specialist Group. The ABZ 2010 conference also incorporated the Alloy language and tool. It is planned for ABZ2012 to also incorporate VDM.

Conferences Edit

'New2 Next 'conference: ABZ2014 , Toulouse

'Last' conference: ABZ2012, Pisa, Italy, 2012.

One-but-Last conference: ABZ2010, Orford, Quebec, Canada, 23–25 February 2010.

First conference: ABZ2008, London, United Kingdom, 16–18 September 2008.

See also Edit

Around Wikia's network

Random Wiki