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

P. Madhusudan, Sanjit A. Seshia

Research output: Book/ReportBook

Original languageEnglish (US)
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
ISBN (Electronic)9783642314247
StatePublished - 2012

Cite this

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/ReportBook

@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 -