ZB 2005: Formal Specification and Development in Z and B

MLA

Treharne, Helen, et al. Zb 2005: Formal Specification and Development In Z and B. Springer Berlin / Heidelberg, 2005.

APA

Treharne, H., Henson, M., Kanade, T., King, S., & Schneider, S. (2005). ZB 2005: Formal Specification and Development in Z and B. Springer Berlin / Heidelberg.

Chicago

Treharne, Helen, Martin Henson, Takeo Kanade, Steve King, and Steve Schneider. ZB 2005: Formal Specification and Development In Z and B. : Springer Berlin / Heidelberg, 2005.