APA (7th ed.) Citation

SpringerLink (Online service), Shankar, N., & Woodcock, J. (2008). Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Natarajan Shankar, and Jim Woodcock. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings. Springer Berlin Heidelberg, 2008.

Warning: These citations may not always be 100% accurate.