Formal Vlsi Correctness Verification: Vlsi Design Methods II 
Subtitle: Proceedings of the Ifip Wg 10.2/Wg 10.5 International Workshop on Applied Formal Meth (Vlsi Design Methods, 2)
Contributors: Luc J. M. Claesen (Editor); Interuniversity Micro-Electronics Center (Corporate Author)
Publisher: North-Holland
Published: August 1990
Language: eng
Number of pages: 427
ISBN-13: 9780444886880