Cover Image
Read Now

1
Published 2012
Springer Berlin Heidelberg
“... Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full...”