Computer aided verification 24th International Conference : proceedings

Research output: Book/ReportBook

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

Cite this