Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / [electronic resource] :
edited by Karen Yorav.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4899 0302-9743 ; .
9783540779667
Computer science Programas para computadora--Verificación--Congresos Arquitectura del software --Congresos Unidad de entrada y salida para computadoras-- Congresos Software para computadora-- Verificación--Congresos