TY - THES ID - 145809158 TI - A formal approach to hardware analysis AU - Traub, Niklas AU - Milne, George J. PY - 1987 PB - Edinburgh : University of Edinburgh, Department of Computer Science, DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:145809158 AB - ER -