in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7857 LNCS, Pages: 8-23
Conference
8Th International on Hardware and Software: Verification and Testing, Hvc 2012, Date: 6 November 2012 through 8 November 2012, Location: Haifa, Sponsors: IBM Research - Haifa