ZB 2003: Formal specification and development in Z and B: Third inetrnational conference of B and Z users Turku, Finland, June 4-6, 2003 proceedings
- Berlin: Springer-Verlag, 2003
- 545 p.; Index.: 23 cm.
- 2651 .
- Lecture notes in computer science .