APA (7th ed.) Citation

International Conference of B and Z Users Guildford, England, SpringerLink (Online service), & Treharne, H. (2005). ZB 2005: Formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings. Springer. https://doi.org/10.1007/b135596

Chicago Style (17th ed.) Citation

International Conference of B and Z Users Guildford, England, SpringerLink (Online service), and Helen Treharne. ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings. Berlin ; New York: Springer, 2005. https://doi.org/10.1007/b135596.

MLA (9th ed.) Citation

International Conference of B and Z Users Guildford, England, et al. ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings. Springer, 2005. https://doi.org/10.1007/b135596.