APA (7th ed.) Citation

International Conference of B and Z Users Grenoble, France, SpringerLink (Online service), & Bert, D. (2002). ZB 2002: formal specification and development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings. Springer.

Chicago Style (17th ed.) Citation

International Conference of B and Z Users Grenoble, France, SpringerLink (Online service), and Didier Bert. ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : Proceedings. Berlin: Springer, 2002.

MLA (9th ed.) Citation

International Conference of B and Z Users Grenoble, France, et al. ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : Proceedings. Springer, 2002.