More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware

ID
TR-90-35
Authors
Jeffrey J. Joyce
Publishing date
January 1990