Hardware Verification using Higher-Order Logic’, in: From HDL Descriptions to Guaranteed Correct Circuit Designs (1986)

by A Camilleri, M Gordon, T Melham
Venue:The University of Edinburgh