K. G. W. Goossens

• Structure and behaviour in hardware verification
• The formalisation of a hardware descriptionlanguage in a proof system