ZB 2003: formal specification and development in Z and B : third international conference of B and Z users : Turku, Finland, June 4-6, 2003 : proceedings. : Jun 2003, Turku, Finland. (Lecture Notes in Computer Science ; 2651)
ZB 2003: formal specification and development in Z and B : third international conference of B and Z users : Turku, Finland, June 4-6, 2003 : proceedings. : Jun 2003, Turku, Finland.
ZB 2003: formal specification and development in Z and B : 3rd international conference of B and Z users : Turku, Finland, June 4-6, 2003 : proceedings