HVC: Haifa Verification Conference

Published by: Springer  

Groups

  1. Henzinger Group (3)
Search Within
Refine Results
Affiliation
  1. IST Austria (3)
Open access
  1. no (3)
Peer reviewed
  1. yes (3)
Invited
  1. no (3)

Results (3)

HVC: Haifa Verification Conference – authorized name for:

Name ISSN/ISBN Publisher
HVC: Haifa Verification Conference 0302-9743 Springer
HVC: Haifa Verification Conference 978-331926286-4 Springer