Formal methods for VLSI design
By: edited by Jørgen Staunstrup.
Contributors: Staunstrup, Jørgen.
Publisher: North-Holland
Published: 1990
Place of publication: Oxford
Language: eng
Number of pages: 329