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

SpringerLink (Online service), Madhusudan, P., & Seshia, S. A. (2012). Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Springer Berlin Heidelberg.

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

SpringerLink (Online service), P. Madhusudan, και Sanjit A. Seshia. Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Παραπομπή σε μορφή MLA (8th εκδ.)

SpringerLink (Online service), et al. Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Springer Berlin Heidelberg, 2012.