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

Author/Creator International Haifa Verification Conference, 12th

1. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016])

Editors:: Bloem, Roderick P; Arbel, Eli
Other Names:: International Haifa Verification Conference, 12th
Record Type:: Book
Extent:: 1 online resource (xvi, 211 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗