TY - BOOK ID - 127072473 TI - Designing correct circuits : workshop jointly organised by the universities of Oxford and Glasgow, 26-28 September 1990, Oxford AU - Jones, Geraint AU - British computer society PY - 1991 SN - 9783540196594 3540196595 PB - London: Springer, DB - UniCat KW - Logic circuits KW - Electronic circuit design KW - Computer-aided design UR - https://www.unicat.be/uniCat?func=search&query=sysid:127072473 AB - ER -