Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

TY - BOOK

T1 - Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

AU - Madhusudan, P.

AU - Seshia, Sanjit A.

PY - 2012

Y1 - 2012

UR - http://www.worldcat.org/oclc/812962222

M3 - Book

BT - Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

PB - Springer Berlin Heidelberg

CY - Berlin, Heidelberg

ER -