Hardware and Software: Verification and Testing: Revised Selected Papers/7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 2011

Б2.2, Б3.54.

Hardware and Software: Verification and Testing: Revised Selected Papers/7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 2011Ed. by Eder K., Lourenco J., Shehory O..-Berlin.: Springer, 2012.-Vol. 7261.-263 p.-(Lecture Notes in Computer Science).