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