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.