IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Cesigns.IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circiut Cesigns(1986 : Grenoble, France)：From HDL descriptions to guaranteed correct circuit designs.North-Holland,1987.
IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circiut Cesigns(1986 : Grenoble, France)：From HDL descriptions to guaranteed correct circuit designs
IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Cesigns.North-Holland,1987.
