Computer aided verification 24th International Conference : proceedings

Research output: Book/Report/Conference proceedingBook

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

Cite this