APA (7th ed.) Citation

VSTTE (Conference) Zurich, Switzerland), SpringerLink (Online service), Meyer, B., & Woodcock, J. (2008). Verified Software: Theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions. Springer. https://doi.org/10.1007/978-3-540-69149-5

Chicago Style (17th ed.) Citation

VSTTE (Conference) Zurich, Switzerland), SpringerLink (Online service), Bertrand Meyer, and Jim Woodcock. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions. Berlin ; New York: Springer, 2008. https://doi.org/10.1007/978-3-540-69149-5.

MLA (9th ed.) Citation

VSTTE (Conference) Zurich, Switzerland), et al. Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions. Springer, 2008. https://doi.org/10.1007/978-3-540-69149-5.