Specification and verification using higher-order logic: A case study (1986)

by F K Hanna, N Daeche
Venue:Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI