Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 /

Bibliographic Details
Corporate Author:	IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits Lyngby, Denmark
Other Authors:	Staunstrup, J. (Jørgen), 1952-, Sharp, Robin, 1942-
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland : 1992.
Series:	IFIP transactions. Computer science and technology. A-5.
Subjects:	Electronic digital computers > Circuits > Design and construction > Data processing > Congresses. Electronic circuit design > Data processing > Congresses. Computer-aided design > Congresses.

Remote Storage