Hardware and Software: Verification and Testing

Research output: Book/ReportBook

Abstract

Hardware and Software: Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Original languageUnknown
Place of PublicationBerlin
PublisherSpringer Berlin Heidelberg
ISBN (Print)978-3-642-34187-8
DOIs
Publication statusPublished - 1 Jan 2013

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
No.7261
ISSN (Print)0302-9743

Cite this