Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Ofer Strichman; Rachel Tzoref-Brill

doi:10.1007/978-3-319-70389-3

Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Ofer Strichman (Editor), Rachel Tzoref-Brill (Editor)

Data and Decision Sciences

Technion - Israel Institute of Technology

Research output: Book/Report › Anthology › peer-review

Original language	American English
Volume	10629
DOIs	https://doi.org/10.1007/978-3-319-70389-3
State	Published - 2017

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Access to Document

10.1007/978-3-319-70389-3

https://doi.org/10.1007/978-3-319-70389-3

Cite this

@book{798788feba30408f99259fec6f619a0a,

title = "Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings",

editor = "Ofer Strichman and Rachel Tzoref-Brill",

year = "2017",

doi = "10.1007/978-3-319-70389-3",

language = "American English",

isbn = "978-3-319-70388-6",

volume = "10629",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

}

TY - BOOK

T1 - Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

A2 - Strichman, Ofer

A2 - Tzoref-Brill, Rachel

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-70389-3

DO - 10.1007/978-3-319-70389-3

M3 - Anthology

SN - 978-3-319-70388-6

VL - 10629

T3 - Lecture Notes in Computer Science

BT - Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

ER -