Bert, D., Bowen, J. P., King, S., & Waldén, M. (2003). 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. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
Chicago Style CitationBert, Didier, Jonathan P. Bowen, Steve King, and Marina 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. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003.
MLA CitationBert, Didier, Jonathan P. Bowen, Steve King, and Marina 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. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003.