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 Style (17th ed.) CitationSpringerLink (Online service), P. Madhusudan, and 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 ed.) CitationSpringerLink (Online service), et al. Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Springer Berlin Heidelberg, 2012.
Warning: These citations may not always be 100% accurate.
