Library Catalogue Plus

APA (7th ed.) Citation

International Conference of B and Z Users York, England, & Bowen, J. P. (2000). ZB 2000 : formal specification and development in Z and B : first international conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen ... [et al.] (eds.): Formal specification and development in Z and B : first international conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference of B and Z Users York, England, and J. P. Bowen. ZB 2000 : Formal Specification and Development in Z and B : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : Proceedings / Jonathan P. Bowen ... [et Al.] (eds.): Formal Specification and Development in Z and B : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : Proceedings. Berlin ; London: Springer, 2000.

MLA (9th ed.) Citation

International Conference of B and Z Users York, England, and J. P. Bowen. ZB 2000 : Formal Specification and Development in Z and B : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : Proceedings / Jonathan P. Bowen ... [et Al.] (eds.): Formal Specification and Development in Z and B : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : Proceedings. Springer, 2000.