Hardware and software, verification and testing by International Haifa Verification Conference (2nd 2006 Haifa, Israel) | Menrva Books