Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, ... Notes in Computer Science, Band 8855)
Ein Fachbuch aus der 10. Internationalen Haifa Verification Conference, das neue Methoden zur Verifikation von Hardware‑ und Softwaresystemen vors ...