Correct Hardware Design and Verification Methods: Proc./13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005. Saaerbruecken, Germany, October 2005

Б2.23, А3.2.

Correct Hardware Design and Verification Methods: Proc./13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005. Saaerbruecken, Germany, October 2005Ed. by Borrione D., Paul W..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3725.-412 p.-(Lecture Notes in Computer Science).