TY - BOOK ID - 136380035 TI - Applied formal methods for correct VLSI design PY - 1989 PB - Leuven IMEC DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:136380035 AB - ER -