| Original language | English (US) |
|---|---|
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer Berlin Heidelberg |
| ISBN (Electronic) | 9783642314247 |
| State | Published - 2012 |
Cite this
Madhusudan, P., & Seshia, S. A. (2012). Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. / Madhusudan, P.; Seshia, Sanjit A.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Research output: Book/Report › Book
Madhusudan, P & Seshia, SA 2012, Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Springer Berlin Heidelberg, Berlin, Heidelberg.
Madhusudan P, Seshia SA. Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
@book{a09f712b96f048bb900cf0b736954733,
title = "Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings",
author = "P. Madhusudan and Seshia, {Sanjit A.}",
year = "2012",
language = "English (US)",
publisher = "Springer Berlin Heidelberg",
}
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 -