OBJ as a theorem prover with applications to hardware verification

• Authors:

• R. C. Sekar;Kevin N. Smith

• Affiliations:

• -;-

• Venue:
• Current trends in hardware verification and automated theorem proving
• Year:
• 1989