Author/Creator: International Haifa Verification Conference, 11th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator International Haifa Verification Conference, 11th

1. Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. (2015)

Editors:: Piterman, Nir
Other Names:: International Haifa Verification Conference, 11th
Record Type:: Book
Extent:: 1 online resource (293 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗