Additional information
Full Title | Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings |
---|---|
Author(s) | Author |
Edition | |
ISBN | 9783319703893, 9783319703886 |
Publisher | Springer |
Format | PDF and EPUB |