Computer aided verification 24th International Conference : proceedings

Research output: Book/ReportBook

Original languageEnglish (US)
Place of PublicationHeidelberg
PublisherSpringer
StatePublished - 2012

Cite this

Computer aided verification 24th International Conference : proceedings. / Madhusudan, P.

Heidelberg : Springer, 2012.

Research output: Book/ReportBook

@book{e1b76363a26049e78f45efab7fbf2f22,
title = "Computer aided verification 24th International Conference : proceedings",
author = "P. Madhusudan",
year = "2012",
language = "English (US)",
publisher = "Springer",

}

TY - BOOK

T1 - Computer aided verification 24th International Conference : proceedings

AU - Madhusudan, P.

PY - 2012

Y1 - 2012

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

M3 - Book

BT - Computer aided verification 24th International Conference : proceedings

PB - Springer

CY - Heidelberg

ER -