External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Roderick Bloem, Eli Arbel, editors, Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. Volume 10028 of Lecture Notes in Computer Science, 2016. [doi]

Conference: hvc2016

Editors

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google

Eli Arbel

This author has not been identified. Look up 'Eli Arbel' in Google
runs on