Correct Hardware Design and Verification Methods: Proc./11th IFIP WG 10.5 Advanced Research Working Conf., CHARME 2001, Livingston, Scotland, UK, September 2001

А3.14, А3.22, Б2.23, Б3.54.

Correct Hardware Design and Verification Methods: Proc./11th IFIP WG 10.5 Advanced Research Working Conf., CHARME 2001, Livingston, Scotland, UK, September 2001Ed. by Margaria T., Melham T..-Berlin, Heidelberg.: Springer, 2001.-Vol. 2144.-482 p.-(Lecture Notes in Computer Science).