Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007

Б2.2, Б3.54.

Hardware and Software: Verification and Testing: Proc./Third International Haifa Verification Conference, HVC 2007. Haifa, Israel, October 2007Ed. by Yorav K..-Berlin, Heidelberg.: Springer, 2008.-Vol. 4899.-267 p.-(Lecture Notes in Computer Science).