Trích dẫn kiểu APA (xuất bản lần thứ 7)

SpringerLink (Online service), Müller, P., Podelski, A., & Joshi, R. (2012). Verified software: theories, tools, experiments: 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

SpringerLink (Online service), Peter Müller, Andreas Podelski, và Rajeev Joshi. Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

SpringerLink (Online service), et al. Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer Berlin Heidelberg, 2012.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.