Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
| Title | Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings |
| Publication Type | Conference Proceedings |
| Year of Publication | 2014 |
| Secondary Authors | Eran Yahav |
| Conference Name | Lecture Notes in Computer Science |
| Volume | 8855 |
| Publisher | Springer |
| ISBN Number | 978-3-319-13337-9 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/978-3-319-13338-6 |
| DOI | 10.1007/978-3-319-13338-6 |
| Citation Key | DBLP:conf/hvc/2014 |