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

Didier Bert Jonathan P. Bowen Steve King Marina A. Waldén 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 ZB Lecture Notes in Computer Science 2651 Springer 2003 3-540-40253-5 db/conf/zum/zb2003.html