Hardware and software verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
Main Author: | Kerstin Eder, editor |
---|---|
Format: | Book Doctoral |
Terbitan: |
Springer-Verlag
, 2012
|
Subjects: | |
Online Access: |
http://lib.ui.ac.id/file?file=digital/2015-8/20407813-Hardware and Software- Verification and Testing.pdf |
Description not available. |