Παραπομπή σε μορφή APA (7η εκδ.)

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 (17η εκδ.)

SpringerLink (Online service), Natarajan Shankar, και 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 εκδ.)

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.