International Conference on Rigorous State-Based Methods
-
2018
ABZ 2018
- 5-8 June
- Southampton, United Kingdom
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z
35 Papers
1 Volume
-
2016
ABZ 2016
- 23-27 May
- Linz, Austria
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z
34 Papers
1 Volume
-
2014
ABZ 2014
- 2-6 June
- Toulouse, France
-
ABZ 2014: The Landing Gear Case Study
12 Papers
1 Volume
-
Abstract State Machines, Alloy, B, TLA, VDM, and Z
34 Papers
1 Volume
-
2012
ABZ 2012
- 18-21 June
- Pisa, Italy
-
Abstract State Machines, Alloy, B, VDM, and Z
35 Papers
1 Volume
-
2010
ABZ 2010
- 22-25 February
- Orford, QC, Canada
-
Abstract State Machines, Alloy, B and Z
46 Papers
1 Volume
-
2008
ABZ 2008
- 16-18 September
- London, United Kingdom
-
Abstract State Machines, B and Z
48 Papers
1 Volume
-
2007
B 2007
- 17-19 January
- Besançon, France
-
B 2007: Formal Specification and Development in B
32 Papers
1 Volume
-
2005
ZB 2005
- 13-15 April
- Guildford, United Kingdom
-
ZB 2005: Formal Specification and Development in Z and B
27 Papers
1 Volume
-
2004
ASM 2004
- 24-28 May
- Lutherstadt Wittenberg, Germany
-
Abstract State Machines 2004. Advances in Theory and Practice
16 Papers
1 Volume
-
2003
ZB 2003
- 4-6 June
- Turku, Finland
-
Abstract State Machines 2003
35 Papers
1 Volume
-
ZB 2003: Formal Specification and Development in Z and B
31 Papers
1 Volume
-
2002
ZB 2002
- 23-25 January
- Grenoble, France
-
ZB 2002:Formal Specification and Development in Z and B
27 Papers
1 Volume
-
2000
ASM 2000
- 19-24 March
- Monte Verità , Switzerland
-
ZB 2000: Formal Specification and Development in Z and B
29 Papers
1 Volume
-
Abstract State Machines - Theory and Applications
21 Papers
1 Volume
-
1998
B 1998
- 22-24 April
- Montpellier, France
-
B’98: Recent Advances in the Development and Use of the B Method
19 Papers
1 Volume
-
ZUM ’98: The Z Formal Specification Notation
25 Papers
1 Volume
-
1997
ZUM 1997
- 3-4 April
- Reading, United Kingdom
-
ZUM '97: The Z Formal Specification Notation
21 Papers
1 Volume
-
1995
ZUM 1995
- 7-9 September
- Limerick, Ireland
-
ZUM '95: The Z Formal Specification Notation
36 Papers
1 Volume