TY - BOOK ID - 7253322 TI - Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International workshop on applied formal methods for correct VLSI design, Houthalen, Belgium, 13-16 November, 1989 AU - Claesen, Luc J. M. AU - IFIP WG 10.2/WG 10.5 International workshop on applied formal methods for correct VLSI design (1989 : Houthalen) PY - 1990 VL - 1 SN - 044488372X 9780444883728 PB - Amsterdam: North-Holland, DB - UniCat KW - Integrated circuits KW - Very large scale integration KW - Computer-aided design KW - Testing KW - 621.3.049.77 KW - Very large scale integration of circuits KW - VLSI circuits KW - Microelectronics. Integrated circuits KW - Very large scale integration. KW - 621.3.049.77 Microelectronics. Integrated circuits KW - Chips (Electronics) KW - Circuits, Integrated KW - Computer chips KW - Microchips KW - Electronic circuits KW - Microelectronics KW - Integrated circuits - Very large scale integration - Computer-aided design - Congresses KW - Integrated circuits - Very large scale integration - Testing - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:7253322 AB - ER -