Additional information
Full Title | Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers 1st Edition |
---|---|
Author(s) | Shmuel Ur, Eyal Bin, Yaron Wolfsthal |
Edition | 1st Edition |
ISBN | 9783540326052, 9783540326045 |
Publisher | Springer |
Format | PDF and EPUB |