Abstracts and revised selected papers."It was the eighth event in this seiries of annual conferences (...)" -- pref."The conference itself started wit...
形態の詳細:
ill.
資料詳細
要約等:
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in N...